- January 31, 2005 --Final version, appearing in proceedings of TLCA'05. Naming Proofs in Classical Propositional Logic
- From Deep Inference to Proof Nets via Cut Elimination
- October 23, 2006 --Version for the second edition of "Logica Universalis" What is a logic, and what is a proof ?
- Linear Logic and Noncommutativity Calculus of Structures
- concatenation Proposition
- December 21, 2007--Submitted A System of Interaction and Structure IV
- Technische Universit at Dresden Fakultat Informatik
- Redesigning Logical Syntax Action de Recherche Collaborative 2009
- September 12, 2008 --Submitted to Trends in Logic VI The Logic BV and Quantum Causality
- June 16, 2005 --Final Version for "Structures and Deduction 2005", Lisbon From Deep Inference to Proof Nets
- Towards a Theory of Proofs of Classical Logic
- Under consideration for publication in Math. Struct. in Comp. Science A System of Interaction and Structure V
- A System of Interaction and Structure IV: The Exponentials and Decomposition
- April 29, 2010 --Final version for proceedings of LICS'10 1 Breaking Paths in Atomic Flows for Classical Logic
- April 6, 2010 --final version for proceedings of CiE'10 What is the Problem with Proof Nets for
- August 20, 2009 --Submitted Extension without Cut
- January 5, 2009 --Submitted --15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second
- arXiv:cs.LO/0610123v220Nov2006 de recherche
- On Proof Nets for Multiplicative Linear Logic Lutz Straburger and Francois Lamarche
- Electronic Notes in Theoretical Computer Science 84 (2003) URL: http://www.elsevier.nl/locate/entcs/volume84.html 12 pages
- A Local System for Linear Logic Lutz Straburger
- MELL in the Calculus of Structures Technical Report WV-2001-03
- Michel Parigot and Lutz Straburger (eds.) Proceedings of
- Tbc : Tram et Bus de la CUB http://www.infotbc.com/ri/index.asp?rub_code... 1 sur 2 24.07.2009 10:22
- Programme BLANC International
- Programme blanc 2006 APPEL A PROJETS DE RECHERCHE
- arXiv:cs/0512086v3[cs.LO]5Oct2007 ON THE AXIOMATISATION OF BOOLEAN CATEGORIES
- 28 June 2001 Non-commutativity and MELL
- Workshop on "Classical Logic and Computation" --July 15, 2006 --Venice, Italy What could a Boolean category be?
- April 8, 2005 --Final version, appearing in Proceedings of LICS 2005 Constructing free Boolean categories
- A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straburger
- Introduction to Proof Theory Lecture notes for ESSLLI'10
- June 27, 2006 --Lecture notes for ESSLLI'06, Malaga, Spain Proof Nets and the Identity of Proofs
- January 30, 2012 Nested Sequents for Intuitionistic Modal Logics
