Comorphisms of structured institutions
DOI10.1016/J.IPL.2013.09.003zbMATH Open1284.68417OpenAlexW190438537MaRDI QIDQ2445331FDOQ2445331
Publication date: 14 April 2014
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2013.09.003
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)
Cites Work
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formulation of the simple theory of types
- Foundations of algebraic specification and formal software development.
- Completeness in the theory of types
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Institution morphisms
- An axiomatic approach to structuring specifications
- On the algebra of structured specifications
- Grothendieck inclusion systems
- Specifications in an arbitrary institution
- Logical systems for structured specifications.
- Abstract Beth definability in institutions
- Title not available (Why is that?)
- Grothendieck institutions
- Institutional 2-cells and Grothendieck Institutions
- Title not available (Why is that?)
- Borrowing interpolation
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
Cited In (7)
Uses Software
This page was built for publication: Comorphisms of structured institutions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2445331)