Macros for interaction nets: a conservative extension of interaction nets

MaRDI QIDQ2848124zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(4)

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

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)