Second-Order Algebraic Theories
From MaRDI portal
Publication:3586098
DOI10.1007/978-3-642-15155-2_33zbMath1287.03079arXiv1308.5409OpenAlexW1488638832MaRDI QIDQ3586098
Publication date: 3 September 2010
Published in: Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1308.5409
Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational classes, universal algebra in model theory (03C05)
Related Items (13)
A complete equational axiomatisation of partial differentiation ⋮ Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding ⋮ Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Structured handling of scoped effects ⋮ Unnamed Item ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL ⋮ High-level signatures and initial semantics ⋮ The universal exponentiable arrow ⋮ Formalization of universal algebra in Agda
This page was built for publication: Second-Order Algebraic Theories
