A language for multiplicative-additive linear logic

MaRDI QIDQ2849877zbMATH OpenFDO

Authors C. A. Pastro, J. R. B. Cockett

Publication date 20 September 2013

Full work available at URL https://arxiv.org/abs/math/0404286, http://www.sciencedirect.com/science/article/pii/S1571066105000320

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the \(\pi\)-calculus and linear logic
• A typed calculus based on a fragment of linear logic
• scientific article; zbMATH DE number 1361538
• Concurrent programming as proof net construction
• scientific article; zbMATH DE number 1678379

Cited in

(10)

• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Linear syntax for communicating elementary mathematics
• On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
• scientific article; zbMATH DE number 1499082 (Why is no real title available?)
• The consistency and complexity of multiplicative additive system virtual
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
• Linear lambda-calculus is linear
• Type isomorphisms for multiplicative-additive linear logic
• A typed calculus based on a fragment of linear logic
• The logic of message-passing

This page was built for publication: A language for multiplicative-additive linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849877)