Pages that link to "Item:Q853743"
From MaRDI portal
The following pages link to An initial algebra approach to term rewriting systems with variable binders (Q853743):
Displaying 4 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)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- Term Rewriting and Applications (Q5703844) (← links)