Pré-Publication, Document De Travail Année : 2024

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-04537440 , version 1

Citer

Sergueï Lenglet, Alan Schmitt. Leaf-First Zipper Semantics. 2024. ⟨hal-04537440⟩
353 Consultations
394 Téléchargements

Partager

  • More