Institutional 2-cells and Grothendieck Institutions

DOI10.1007/11780274_7zbMath1132.68488OpenAlexW1557345541MaRDI QIDQ5757931

Till Mossakowski

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274_7

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Abstract model theory (03C95)

Related Items (2)

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Comorphisms of structured institutions

Uses Software

• CASL

This page was built for publication: Institutional 2-cells and Grothendieck Institutions