scientific article; zbMATH DE number 860037
From MaRDI portal
Publication:4870807
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)
