Article Dans Une Revue
Annals of Pure and Applied Logic
Année : 2008
Claudia Faggian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00629440
Soumis le : mercredi 5 octobre 2011-21:38:13
Dernière modification le : vendredi 24 mars 2023-14:52:54
Dates et versions
Identifiants
- HAL Id : hal-00629440 , version 1
Citer
Paolo Di Giamberardino, Claudia Faggian. Proof nets sequentialisation in multiplicative linear logic. Annals of Pure and Applied Logic, 2008, 155 (3), pp.173-182. ⟨hal-00629440⟩
Collections
34
Consultations
0
Téléchargements