An explicit framework for interaction nets

DOI10.2168/LMCS-6(4:6)2010MaRDI QIDQ5894003zbMATH OpenFDO

Authors Marc de Falco

Publication date 20 December 2010

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-6(4:6)2010

zbMATH Keywords

geometry of interactiongraph rewritinginteraction netslinear logic

Mathematics Subject Classification ID

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

Recommendations

• An Explicit Framework for Interaction Nets
• Interaction nets and term-rewriting systems
• scientific article; zbMATH DE number 1487844
• A calculus for interaction nets based on the linear chemical abstract machine
• Interaction nets for linear logic

Cited in

(16)

• Interaction nets and term-rewriting systems
• Operational equivalence for interaction nets.
• Interaction nets for linear logic
• Towards a programming language for interaction nets
• Interaction nets with nested pattern matching
• The structure of interaction
• Interaction Net Implementation of Additive and Multiplicative Structures
• Structured Co-spans: An Algebra of Interaction Protocols
• Type assignment and termination of interaction nets
• scientific article; zbMATH DE number 1487844 (Why is no real title available?)
• scientific article; zbMATH DE number 1512711 (Why is no real title available?)
• On context semantics and interaction nets
• scientific article; zbMATH DE number 860037 (Why is no real title available?)
• In-place graph rewriting with interaction nets
• Interaction nets and term rewriting systems (extended abstract)
• An Explicit Framework for Interaction Nets

This page was built for publication: An explicit framework for interaction nets

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