Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
From MaRDI portal
Publication:1272541
DOI10.1023/A:1008607717635zbMath0919.68087MaRDI QIDQ1272541
Publication date: 31 August 1999
Published in: Applied Categorical Structures (Search for Journal in Brave)
Formal languages and automata (68Q45) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (10)
Interpolation in Grothendieck institutions ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ Theory blending: extended algorithmic aspects and examples ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Grothendieck inclusion systems ⋮ CafeOBJ Traces ⋮ Abstract Beth definability in institutions ⋮ Relating CASL with other specification languages: the institution level. ⋮ Logical foundations of CafeOBJ
Uses Software
This page was built for publication: Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
