Pages that link to "Item:Q5044756"
From MaRDI portal
The following pages link to Optimal reductions in interaction systems (Q5044756):
Displaying 5 items.
- Paths, computations and labels in the \(\lambda\)-calculus (Q673626) (← links)
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- Paths, computations and labels in the λ-calculus (Q5055792) (← links)
- δο!∈=1 Optimizing optimal λ-calculus implementations (Q5055822) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)