Pages that link to "Item:Q1389438"
From MaRDI portal
The following pages link to Interaction nets and term-rewriting systems (Q1389438):
Displaying 10 items.
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- A calculus for interaction nets based on the linear chemical abstract machine (Q2864502) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- (Q3750127) (← links)
- (Q4494368) (← links)
- On context semantics and interaction nets (Q4635658) (← links)
- (Q4870807) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Interaction nets and term rewriting systems (extended abstract) (Q5878907) (← links)