Article Dans Une Revue
Annals of Pure and Applied Logic
Année : 2000
Thomas Ehrhard : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527039
Soumis le : dimanche 17 octobre 2010-23:34:49
Dernière modification le : vendredi 24 mars 2023-14:52:53
Dates et versions
Identifiants
- HAL Id : hal-00527039 , version 1
Citer
Thomas Ehrhard, Antonio Bucciarelli. On Phase Semantics and Denotational Semantics in Multiplicative Additive Linear Logic. Annals of Pure and Applied Logic, 2000, 102 (3), pp.247-282. ⟨hal-00527039⟩
Collections
26
Consultations
0
Téléchargements