Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic

DOI10.1109/LICS.2013.59zbMath1433.03161OpenAlexW4242910361MaRDI QIDQ5271090

Makoto Hamana, Marcelo P. Fiore

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2013.59

zbMATH Keywords

equational logicpolymorphismGrothendieck constructioncategorical semanticspresheaves

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Equational classes, universal algebra in model theory (03C05) Combinatory logic and lambda calculus (03B40)

Related Items (6)

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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL

This page was built for publication: Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic