scientific article
From MaRDI portal
Publication:2915680
DOI10.4230/LIPIcs.CSL.2011.159zbMath1247.03117MaRDI QIDQ2915680
Lutz Straßburger, Nicolas Guenot, Kaustuv Chaudhuri
Publication date: 18 September 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_57fa.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (10)
Behavioural Analysis of Sessions Using the Calculus of Structures ⋮ An Analytic Propositional Proof System on Graphs ⋮ On the Power of Substitution in the Calculus of Structures ⋮ Unnamed Item ⋮ Focused linear logic and the \(\lambda\)-calculus ⋮ Multi-focused cut elimination ⋮ Unnamed Item ⋮ Focused and Synthetic Nested Sequents ⋮ Deep inference and expansion trees for second-order multiplicative linear logic ⋮ Constructing weak simulations from linear implications for processes with private names
This page was built for publication:
