A calculus for interaction nets
From MaRDI portal
Recommendations
- An Explicit Framework for Interaction Nets
- An explicit framework for interaction nets
- Encoding an object calculus into interaction nets
- A calculus for interaction nets based on the linear chemical abstract machine
- Extending the interaction nets calculus by generic rules
- scientific article; zbMATH DE number 860037
- Interaction nets for linear logic
- Interaction nets and term-rewriting systems
- Interpreting a Finitary Pi-calculus in Differential Interaction Nets
- Interpreting a finitary pi-calculus in differential interaction nets
Cited in
(27)- Operational equivalence for interaction nets.
- Interaction nets for linear logic
- An implementation model of the typed -calculus based on linear chemical abstract machine
- Interaction nets with McCarthy's \(\mathsf{amb}\)
- Towards a programming language for interaction nets
- Interaction nets vs. the -calculus: introducing bigraphical nets
- A calculus for interaction nets based on the linear chemical abstract machine
- Realizing monads in interaction nets via generic typed rules
- Interaction Net Implementation of Additive and Multiplicative Structures
- Type assignment and termination of interaction nets
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Strategic port graph rewriting: an interactive modelling framework
- On context semantics and interaction nets
- scientific article; zbMATH DE number 2090088 (Why is no real title available?)
- scientific article; zbMATH DE number 860037 (Why is no real title available?)
- Extending the interaction nets calculus by generic rules
- An implementation model for interaction nets
- In-place graph rewriting with interaction nets
- Recursive Functions with Pattern Matching in Interaction Nets
- Compilation of interaction nets
- Interaction nets and term rewriting systems (extended abstract)
- An explicit framework for interaction nets
- An Explicit Framework for Interaction Nets
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- Exponentials as substitutions and the cost of cut elimination in linear logic
- The relational machine calculus
- Interpreting a finitary pi-calculus in differential interaction nets
This page was built for publication: A calculus for interaction nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494368)
