Leaf-First Zipper Semantics
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Sergueï Lenglet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04537440
Soumis le : mardi 9 avril 2024-11:02:13
Dernière modification le : samedi 25 mai 2024-03:14:10