An Explicit Framework for Interaction Nets

DOI10.1007/978-3-642-02348-4_15zbMath1211.68228arXiv1010.1066OpenAlexW2112971523MaRDI QIDQ5902126

Marc de Falco

Publication date: 30 June 2009

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1010.1066

zbMATH Keywords

graph rewritinglinear logicgeometry of interactioninteraction nets

Mathematics Subject Classification ID

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

Related Items (2)

The conservation theorem for differential nets ⋮ Interaction graphs: multiplicatives

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorical model for the geometry of interaction
• New foundations for the geometry of interaction
• Towards an algebraic theory of Boolean circuits.
• On full abstraction for PCF: I, II and III
• Encoding left reduction in the λ-calculus with interaction nets
• Traced monoidal categories
• YALE

This page was built for publication: An Explicit Framework for Interaction Nets