Macros for interaction nets: a conservative extension of interaction nets

zbMATH Open1272.68197MaRDI QIDQ2848124FDOQ2848124

Authors: François-Régis Sinot, Ian Mackie 

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050188

Recommendations

• Interaction nets with nested pattern matching
• Towards a programming language for interaction nets
• Extending the interaction nets calculus by generic rules
• Interaction Net Implementation of Additive and Multiplicative Structures
• scientific article; zbMATH DE number 2059570

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Cited In (3)

• MACRAME: A problem formulation and model structuring assistant in multiactorial contexts
• Extending the interaction nets calculus by generic rules
• Interaction nets with nested pattern matching

This page was built for publication: Macros for interaction nets: a conservative extension of interaction nets

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