A reactive operational semantics for a lambda-calculus with time warps
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Ada Vienot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03465519
Soumis le : samedi 2 avril 2022-17:57:44
Dernière modification le : vendredi 17 mai 2024-16:10:02
Archivage à long terme le : dimanche 3 juillet 2022-18:19:34