Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 1993
Thomas Ehrhard : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527026
Soumis le : dimanche 17 octobre 2010-22:46:07
Dernière modification le : mercredi 21 février 2024-12:42:22
Dates et versions
Identifiants
- HAL Id : hal-00527026 , version 1
Citer
Thomas Ehrhard. Hypercoherences, a strongly stable model of linear logic. Mathematical Structures in Computer Science, 1993, 3 (4), pp.365-385. ⟨hal-00527026⟩
Collections
55
Consultations
0
Téléchargements