Grothendieck inclusion systems
From MaRDI portal
Publication:657588
DOI10.1007/S10485-009-9211-6zbMATH Open1261.18005OpenAlexW2004395100MaRDI QIDQ657588FDOQ657588
Authors: Răzvan Diaconescu 
Publication date: 10 January 2012
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10485-009-9211-6
Recommendations
Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65)
Cites Work
- Title not available (Why is that?)
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Institution morphisms
- Elementary Diagrams in Institutions
- Axiomatizability in inclusive equational logics
- Composing hidden information modules over inclusive institutions
- An institution-independent proof of the Beth definability theorem
- Module algebra
- Specifications in an arbitrary institution
- Weak inclusion systems
- Logical foundations of CafeOBJ
- Title not available (Why is that?)
- Towards heterogeneous specifications
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- Title not available (Why is that?)
- Foundations of heterogeneous specification.
- Grothendieck institutions
Cited In (9)
- Institutional 2-cells and Grothendieck Institutions
- CafeOBJ Traces
- Parchments for CafeOBJ logics
- Partialising institutions
- Axiomatizability in inclusive equational logics
- Functorial semantics of first-order views
- Grothendieck institutions
- Title not available (Why is that?)
- Comorphisms of structured institutions
Uses Software
This page was built for publication: Grothendieck inclusion systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q657588)
