Pages that link to "Item:Q5901567"
From MaRDI portal
The following pages link to Rewriting Techniques and Applications (Q5901567):
Displaying 7 items.
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Weak reduction and garbage collection in interaction nets (Q2844066) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- Token-passing nets for functional languages (Q2873684) (← links)
- Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting (Q3522032) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)