Article Dans Une Revue
Theoretical Computer Science
Année : 2004
Patrick Baillot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00084609
Soumis le : vendredi 7 juillet 2006-18:52:00
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : hal-00084609 , version 1
Citer
Patrick Baillot. Stratified coherence spaces: a denotational semantics for light linear logic.. Theoretical Computer Science, 2004, 318(1-2): 29-55, pp.29-55. ⟨hal-00084609⟩
Collections
20
Consultations
0
Téléchargements