The following pages link to (Q4511325):
Displaying 7 items.
- Towards a geometry of recursion (Q534710) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Jumping and escaping: modular termination and the abstract path ordering (Q1929229) (← links)
- An upper bound for reduction sequences in the typed \(\lambda\)-calculus (Q2639840) (← links)
- Effective longest and infinite reduction paths in untyped λ-calculi (Q5878916) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
