Pages that link to "Item:Q5055855"
From MaRDI portal
The following pages link to A recursive path ordering for higher-order terms in η-long β-normal form (Q5055855):
Displaying 4 items.
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- A Lambda-Free Higher-Order Recursive Path Order (Q2988386) (← links)
- A termination ordering for higher order rewrite systems (Q5055816) (← links)
- A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems (Q6486041) (← links)