The following pages link to (Q5039177):
Displaying 4 items.
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- A transfinite Knuth-Bendix order for lambda-free higher-order terms (Q2405268) (← links)
- A Lambda-Free Higher-Order Recursive Path Order (Q2988386) (← links)
- Superposition with lambdas (Q5919500) (← links)