scientific article; zbMATH DE number 860037

MaRDI QIDQ4870807zbMATH OpenFDO

Authors Simon J. Gay

Publication date 26 March 1996

zbMATH Keywords

classical linear logiccombinatorscompletenessgraph rewriting systeminteraction nets

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42)

Recommendations

• Interaction nets and term-rewriting systems
• Interaction combinators
• An Explicit Framework for Interaction Nets
• An explicit framework for interaction nets
• scientific article; zbMATH DE number 1487844
• Compilation of interaction nets
• Interaction nets and term rewriting systems (extended abstract)
• Interaction nets for linear logic
• Towards a programming language for interaction nets
• scientific article; zbMATH DE number 1670557

Cited in

(14)

• Interaction combinators
• Interaction nets and term-rewriting systems
• Interaction nets for linear logic
• Encoding linear logic with interaction combinators
• Concrete process categories
• Universal Boolean systems
• Full abstraction for set-based models of the symmetric interaction combinators
• Interaction Net Implementation of Additive and Multiplicative Structures
• On combinatory complete sets of proper combinators
• scientific article; zbMATH DE number 1487844 (Why is no real title available?)
• On context semantics and interaction nets
• Recursive Functions with Pattern Matching in Interaction Nets
• A denotational semantics for the symmetric interaction combinators
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators

This page was built for publication:

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