A First-Order Calculus for Allegories

DOI10.1007/978-3-642-21070-9_8zbMath1329.03095OpenAlexW145092378MaRDI QIDQ3007570

Bahar Aameri, Michael Winter

Publication date: 17 June 2011

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21070-9_8

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Typing theorems of omega algebra

This page was built for publication: A First-Order Calculus for Allegories