Functorial semantics of first-order views
From MaRDI portal
Publication:344796
DOI10.1016/j.tcs.2016.09.009zbMath1370.68208OpenAlexW2524176006MaRDI QIDQ344796
Publication date: 24 November 2016
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2016.09.009
Related Items (3)
Morphism axioms ⋮ Partialising institutions ⋮ Implicit Partiality of Signature Morphisms in Institution Theory
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parameterisation for abstract structured specifications
- An axiomatic approach to structuring specifications
- On the algebra of structured specifications
- Foundations of algebraic specification and formal software development.
- Grothendieck inclusion systems
- Saturated models in institutions
- An institution-independent proof of the Beth definability theorem
- Structured theory presentations and logic representations
- The definition of Extended ML: A gentle introduction
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Herbrand theorems in arbitrary institutions
- Institution-independent model theory
- What Is a Derived Signature Morphism?
- Institutions: abstract model theory for specification and programming
- A module system for a programming language based on the LF logical framework
- Elementary Diagrams in Institutions
- Axiomatizability in inclusive equational logics
- Composing Hidden Information Modules over Inclusive Institutions
- A formulation of the simple theory of types
This page was built for publication: Functorial semantics of first-order views
