Skip to Main content Skip to Navigation
Journal articles

From Deep Inference to Proof Nets via Cut Elimination

Lutz Strassburger 1, 2 
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00772603
Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Thursday, January 10, 2013 - 6:00:45 PM
Last modification on : Thursday, January 20, 2022 - 5:30:45 PM

Links full text

Identifiers

Collections

Citation

Lutz Strassburger. From Deep Inference to Proof Nets via Cut Elimination. Journal of Logic and Computation, Oxford University Press (OUP), 2011, 21 (4), pp.589-624. ⟨10.1093/logcom/exp047⟩. ⟨hal-00772603⟩

Share

Metrics

Record views

94