Interaction Net Implementation of Additive and Multiplicative Structures

DOI10.1093/LOGCOM/EXI011MaRDI QIDQ3025335zbMATH OpenOpenAlexFDO

Authors Ian Mackie

Publication date 13 July 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi011

zbMATH Keywords

\(\lambda\)-calculusdata typesInteraction netslinear logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1487844
• An implementation model for interaction nets
• Additive and multiplicative effects network models
• Multiplicative circulant networks
• Additive and multiplicative models and interactions
• An Explicit Framework for Interaction Nets
• An explicit framework for interaction nets
• scientific article; zbMATH DE number 860037
• Addition–deletion networks

Cited in

(22)

• The graphical Krivine machine
• scientific article; zbMATH DE number 1722717 (Why is no real title available?)
• Interaction nets with McCarthy's \(\mathsf{amb}\)
• Towards a programming language for interaction nets
• Macros for interaction nets: a conservative extension of interaction nets
• From functional programs to interaction nets via the rewriting calculus
• Realizing monads in interaction nets via generic typed rules
• Bigraphical nets
• scientific article; zbMATH DE number 1231514 (Why is no real title available?)
• scientific article; zbMATH DE number 2059570 (Why is no real title available?)
• scientific article; zbMATH DE number 1512623 (Why is no real title available?)
• scientific article; zbMATH DE number 2090088 (Why is no real title available?)
• scientific article; zbMATH DE number 1452990 (Why is no real title available?)
• Extending the interaction nets calculus by generic rules
• Towards a GPU-based implementation of interaction nets
• An implementation model for interaction nets
• Compiling process networks to interaction nets
• Compilation of interaction nets
• YALE: yet another lambda evaluator based on interaction nets
• YALE: yet another lambda evaluator based on interaction nets
• Interaction nets and term rewriting systems (extended abstract)
• Rewriting Techniques and Applications

This page was built for publication: Interaction Net Implementation of Additive and Multiplicative Structures

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