A system of interaction and structure IV
From MaRDI portal
Publication:2946642
DOI10.1145/1970398.1970399zbMath1370.03080OpenAlexW2006792923MaRDI QIDQ2946642
Lutz Straßburger, Alessio Guglielmi
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1970398.1970399
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
On the Power of Substitution in the Calculus of Structures ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ On the decision problem for MELL ⋮ Linear Lambda Calculus and Deep Inference ⋮ A Logical Basis for Quantum Evolution and Entanglement ⋮ Unnamed Item ⋮ Deep inference and expansion trees for second-order multiplicative linear logic ⋮ Constructing weak simulations from linear implications for processes with private names ⋮ On linear logic planning and concurrency