The following pages link to (Q2778888):
Displayed 6 items.
- Higher-order interpretations and program complexity (Q276254) (← links)
- Infinitary combinatory reduction systems (Q550248) (← links)
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- A Lambda-Free Higher-Order Recursive Path Order (Q2988386) (← links)
- Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (Q3172889) (← links)
- Argument Filterings and Usable Rules for Simply Typed Dependency Pairs (Q3655195) (← links)