Communication Dans Un Congrès
Année : 1997
Patrick Baillot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00084630
Soumis le : samedi 8 juillet 2006-17:55:01
Dernière modification le : lundi 28 août 2023-15:32:53
Dates et versions
Identifiants
- HAL Id : hal-00084630 , version 1
Citer
Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Régnier. Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.. 1997, pp.68-75. ⟨hal-00084630⟩
71
Consultations
0
Téléchargements