Pages that link to "Item:Q853743"

The following pages link to An initial algebra approach to term rewriting systems with variable binders (Q853743):

Displaying 2 items.

• Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
• Size-based termination of higher-order rewriting (Q4577817) (← links)