Pages that link to "Item:Q4327409"
From MaRDI portal
The following pages link to Interaction Systems I: The theory of optimal reductions (Q4327409):
Displaying 10 items.
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Developing developments (Q1392147) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine (Q2864217) (← links)
- Paths, computations and labels in the λ-calculus (Q5055792) (← links)
- δο!∈=1 Optimizing optimal λ-calculus implementations (Q5055822) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
- Higher-order families (Q5055875) (← links)