From Deep Inference to Proof Nets via Cut Elimination - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2011

Dates et versions

hal-00772603 , version 1 (10-01-2013)

Identifiants

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

Altmetric

Partager

Gmail Facebook X LinkedIn More