From proof nets to the free *- autonomous category (2005)

by François Lamarche , Lutz Strassburger
Venue:Logical Methods in Computer Science, 2(4:3):1–44, 2006. Available from: http://arxiv.org/abs/cs/0605054. [McK05] Richard McKinley. Classical categories and deep inference. In Structures and Deduction 2005 (Satellite Workshop of ICALP’05
Citations:20 - 7 self