Pages that link to "Item:Q3000622"
From MaRDI portal
The following pages link to Polymorphic Abstract Syntax via Grothendieck Construction (Q3000622):
Displayed 4 items.
- Functorial data migration (Q714735) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)