The following pages link to MPINE (Q32656):
Displaying 6 items.
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- Interaction nets with nested pattern matching (Q2870316) (← links)
- (Q5013889) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Compilation of Interaction Nets (Q5170282) (← links)
- PELCR (Q5277779) (← links)