Comorphisms of structured institutions
From MaRDI portal
Publication:2445331
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)
Recommendations
Cites work
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 4078770 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 1929971 (Why is no real title available?)
- A formulation of the simple theory of types
- Abstract Beth definability in institutions
- An axiomatic approach to structuring specifications
- Borrowing interpolation
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Completeness in the theory of types
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
- Foundations of algebraic specification and formal software development.
- Grothendieck inclusion systems
- Grothendieck institutions
- Institution morphisms
- Institution-independent model theory
- Institutional 2-cells and Grothendieck Institutions
- Institutions: abstract model theory for specification and programming
- Logical systems for structured specifications.
- On the algebra of structured specifications
- Specifications in an arbitrary institution
Cited in
(9)- SpeX: a rewriting-based formal specification environment
- scientific article; zbMATH DE number 1303734 (Why is no real title available?)
- Algebraic Methodology and Software Technology
- Structured theories and institutions
- On the existence of translations of structured specifications
- Institution morphisms
- Generalized Theoroidal Institution Comorphisms
- scientific article; zbMATH DE number 1929971 (Why is no real title available?)
- What Is a derived signature morphism?
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)