From Deep Inference to Proof Nets via Cut Elimination - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logic and Computation Year : 2011

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More