The following pages link to Higher-order families (Q5055875):
Displaying 10 items.
- Infinitary combinatory reduction systems (Q550248) (← links)
- Paths, computations and labels in the \(\lambda\)-calculus (Q673626) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Counterexamples in infinitary rewriting with non-fully-extended rules (Q1944100) (← links)
- Khinchin families and Hayman class (Q2129494) (← links)
- The conflict-free reduction geometry (Q2581368) (← links)
- An abstract concept of optimal implementation (Q2844072) (← links)
- The geometry of orthogonal reduction spaces (Q4571994) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
- Minimal relative normalization in orthogonal expression reduction systems (Q6567775) (← links)