Partialising institutions
From MaRDI portal
Publication:6185812
DOI10.1007/s10485-023-09753-warXiv1711.04666MaRDI QIDQ6185812
Publication date: 8 January 2024
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1711.04666
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Functorial semantics of first-order views
- Foundations for structuring behavioural specifications
- Foundations of algebraic specification and formal software development.
- Grothendieck inclusion systems
- An institution-independent proof of the Beth definability theorem
- On the existence of free models in abstract algebraic institutions
- Specifications in an arbitrary institution
- Categories of partial maps
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- CASL: the Common Algebraic Specification Language.
- Institution-independent model theory
- From Universal Logic to Computer Science, and Back
- Institutions: abstract model theory for specification and programming
- Weak inclusion systems
- Elementary Diagrams in Institutions
- Axiomatizability in inclusive equational logics
- Implicit Partiality of Signature Morphisms in Institution Theory
- Composing Hidden Information Modules over Inclusive Institutions
This page was built for publication: Partialising institutions