Article Dans Une Revue
Journal of Logic and Computation
Année : 2011
Lutz Straßburger : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00772603
Soumis le : jeudi 10 janvier 2013-18:00:45
Dernière modification le : jeudi 11 mai 2023-11:40:22
Citer
Lutz Strassburger. From Deep Inference to Proof Nets via Cut Elimination. Journal of Logic and Computation, 2011, 21 (4), pp.589-624. ⟨10.1093/logcom/exp047⟩. ⟨hal-00772603⟩
96
Consultations
0
Téléchargements