Pages that link to "Item:Q1336047"
From MaRDI portal
The following pages link to The ant-lion paradigm for strong normalization (Q1336047):
Displayed 7 items.
- Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628) (← links)
- Orders, reduction graphs and spectra (Q1275630) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562) (← links)
- Some results on numerical systems in \(\lambda\)-calculus (Q1903129) (← links)
- Taming the wild ant-lion; a counterexample to a conjecture of Böhm (Q5269003) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)