Ouvrages
Année : 2011
Olivier Laurent : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00589711
Soumis le : samedi 30 avril 2011-19:53:39
Dernière modification le : lundi 22 avril 2024-15:30:00
Dates et versions
Identifiants
- HAL Id : hal-00589711 , version 1
Citer
Thomas Ehrhard, Claudia Faggian, Olivier Laurent (Dir.). Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20). Elsevier, pp.240, 2011. ⟨hal-00589711⟩
Collections
133
Consultations
0
Téléchargements