Pages that link to "Item:Q1350498"
From MaRDI portal
The following pages link to Interaction systems II: The practice of optimal reductions (Q1350498):
Displaying 6 items.
- Developing developments (Q1392147) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Optimal reductions in interaction systems (Q5044756) (← links)
- δο!∈=1 Optimizing optimal λ-calculus implementations (Q5055822) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)