Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 2003
Delia KESNER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00148842
Soumis le : mercredi 23 mai 2007-14:25:29
Dernière modification le : mercredi 21 février 2024-12:42:22
Dates et versions
Identifiants
- HAL Id : hal-00148842 , version 1
Citer
Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski. Proof Nets and Explicit Substitutions. Mathematical Structures in Computer Science, 2003, 13 (3), pp.409--450. ⟨hal-00148842⟩
Collections
65
Consultations
0
Téléchargements