We propose a generalization of the notion of theoroidal comorphism, motivated by several logic translations of practical importance, encountered in the implementation of Heterogeneous Tool Set Hets. We discuss the impact of this generalization on the level of heterogenous specifications, by presenting the Grothendieck construction over a diagram of institutions and translations modelled as generalized comorphisms. Conditions for heterogeneous proofs are also evaluated. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Codescu, M. (2009). Generalized theoroidal institution comorphisms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5486 LNCS, pp. 88–101). https://doi.org/10.1007/978-3-642-03429-9_7
Mendeley helps you to discover research relevant for your work.