Polymorphic Abstract Syntax via Grothendieck Construction
From MaRDI portal
Publication:3000622
DOI10.1007/978-3-642-19805-2_26zbMath1326.68191MaRDI 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
68Q65: Abstract data types; algebraic specification
Related Items
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