Pages that link to "Item:Q3884083"
From MaRDI portal
The following pages link to The Standardization Theorem for λ‐Calculus (Q3884083):
Displayed 6 items.
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Standard and Normal Reductions (Q4177543) (← links)
- Upper bounds for standardizations and an application (Q4254636) (← links)