The following pages link to (Q4494368):
Displaying 21 items.
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Operational equivalence for interaction nets. (Q1401297) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- An implementation model of the typed \(\lambda\)-calculus based on linear chemical abstract machine (Q2841304) (← links)
- Interaction nets with McCarthy's \(\mathsf{amb}\) (Q2842603) (← links)
- Towards a programming language for interaction nets (Q2848123) (← links)
- Interaction nets vs. the \(\rho\)-calculus: introducing bigraphical nets (Q2852060) (← links)
- A calculus for interaction nets based on the linear chemical abstract machine (Q2864502) (← links)
- Interaction Net Implementation of Additive and Multiplicative Structures (Q3025335) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- On context semantics and interaction nets (Q4635658) (← links)
- (Q4870807) (← links)
- (Q5013814) (← links)
- (Q5015373) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Compilation of Interaction Nets (Q5170282) (← links)
- Interaction nets and term rewriting systems (extended abstract) (Q5878907) (← links)
- An Explicit Framework for Interaction Nets (Q5902126) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
