Leaf-First Zipper Semantics - Department of Formal methods Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Leaf-First Zipper Semantics

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
RR-9546.pdf (467.74 Ko) Télécharger le fichier
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 : mardi 16 avril 2024-11:13:13

Télécharger pour visualiser

Dates et versions

hal-04537440 , version 1 (09-04-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04537440 , version 1

Citer

Sergueï Lenglet, Alan Schmitt. Leaf-First Zipper Semantics. 2024. ⟨hal-04537440⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC UNIV-LORRAINE INRIA2 LORIA LORIA-FM UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES SORBONNE-PARIS-NORD UR1-MATH-NUM CYBERSCHOOL ACT-R
15 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More