Pages that link to "Item:Q5271090"
From MaRDI portal
The following pages link to Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090):
Displaying 9 items.
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- Polymorphic Abstract Syntax via Grothendieck Construction (Q3000622) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- (Q5089005) (← links)
- (Q5089012) (← links)
- (Q5094148) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)