A System of Interaction and Structure II: The Need for Deep Inference
From MaRDI portal
Publication:5310657
DOI10.2168/LMCS-2(2:4)2006zbMath1126.03051MaRDI QIDQ5310657
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
03B70: Logic in computer science
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Constructing weak simulations from linear implications for processes with private names, A Logical Basis for Quantum Evolution and Entanglement, Maude as a Platform for Designing and Implementing Deep Inference Systems, Deep inference and probabilistic coherence spaces, On linear logic planning and concurrency, Hypersequent and display calculi -- a unified perspective, System BV is NP-complete, Behavioural Analysis of Sessions Using the Calculus of Structures