Leaf-First Zipper Semantics
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
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 11 avril 2026-03:18:05
Archivage à long terme le : mercredi 10 juillet 2024-18:16:26