Pages that link to "Item:Q2864528"
From MaRDI portal
The following pages link to From functional programs to interaction nets via the rewriting calculus (Q2864528):
Displaying 9 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Interaction nets and term-rewriting systems (Q1389438) (← links)
- Encoding an object calculus into interaction nets (Q2848121) (← links)
- Interaction nets vs. the \(\rho\)-calculus: introducing bigraphical nets (Q2852060) (← links)
- Interaction nets with nested pattern matching (Q2870316) (← links)
- Token-passing nets for functional languages (Q2873684) (← links)
- (Q5013889) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)