Journal Articles
Journal of Logic and Computation
Year : 2011
Lutz Straßburger : Connect in order to contact the contributor
https://inria.hal.science/hal-00772603
Submitted on : Thursday, January 10, 2013-6:00:45 PM
Last modification on : Thursday, May 11, 2023-11:40:22 AM
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