Building and integrating semantic theories over institutions

DOI10.1007/978-3-319-68103-0_17zbMath1439.68015OpenAlexW2775668770MaRDI QIDQ1697086

Nicola Angius, Maria Dimarogkona, Petros Stefaneas

Publication date: 15 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-68103-0_17

zbMATH Keywords

algebraic specificationsinstitution theorysemantic view of theoriesabstract model theory

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50) Abstract model theory (03C95)

This page was built for publication: Building and integrating semantic theories over institutions