The following pages link to (Q4954449):
Displaying 6 items.
- On equal \(\mu \)-terms (Q549186) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- The conflict-free reduction geometry (Q2581368) (← links)
- The geometry of orthogonal reduction spaces (Q4571994) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
