Pages that link to "Item:Q3025335"
From MaRDI portal
The following pages link to Interaction Net Implementation of Additive and Multiplicative Structures (Q3025335):
Displaying 8 items.
- The graphical Krivine machine (Q2464713) (← links)
- Interaction nets with McCarthy's \(\mathsf{amb}\) (Q2842603) (← links)
- Towards a programming language for interaction nets (Q2848123) (← links)
- Macros for interaction nets: a conservative extension of interaction nets (Q2848124) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- (Q4222826) (← links)
- Interaction nets and term rewriting systems (extended abstract) (Q5878907) (← links)
- Rewriting Techniques and Applications (Q5901567) (← links)