A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine

DOI10.1016/j.entcs.2008.10.027zbMath1277.68105OpenAlexW2030587281MaRDI QIDQ2864502

Ian Mackie, Shinya Sato

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.027

zbMATH Keywords

linear logicCHAMinteraction netchemical abstract machine

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

An introduction to differential linear logic: proof-nets, models and antiderivatives, Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic, Unnamed Item

Cites Work

• Linear logic
• Computational interpretations of linear logic
• Interaction nets and term-rewriting systems
• Interaction nets for linear logic
• Encoding left reduction in the λ-calculus with interaction nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item