The following pages link to (Q3024920):
Displayed 5 items.
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)