Polymorphic Abstract Syntax via Grothendieck Construction
From MaRDI portal
Publication:3000622
DOI10.1007/978-3-642-19805-2_26zbMath1326.68191OpenAlexW1594401452MaRDI QIDQ3000622
Publication date: 19 May 2011
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_26
Related Items (4)
Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Functorial data migration ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL
This page was built for publication: Polymorphic Abstract Syntax via Grothendieck Construction
