A categorical study on the finiteness of specifications
From MaRDI portal
(Redirected from Publication:975404)
Recommendations
Cites work
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 4097351 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1998330 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 2196612 (Why is no real title available?)
- Categorical abstract algebraic logic: Algebraizable institutions
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Logic representation in LF
- Module algebra
- Proof Systems for Institutional Logic
- Saturated models in institutions
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Specifications in an arbitrary institution
- The completeness of the first-order functional calculus
Cited in
(5)- Categorical concepts for parameterized partial specifications
- A Bicategorical Model for Finite Nondeterminism
- Optionality, scope, and licensing: An application of partially ordered categories
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
- Saturated models in institutions
This page was built for publication: A categorical study on the finiteness of specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q975404)