Pages that link to "Item:Q5058367"
From MaRDI portal
The following pages link to Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367):
Displaying 5 items.
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Term Rewriting and Applications (Q5703844) (← links)