Category localization semantics for specification refinements
From MaRDI portal
Recommendations
- Publication:4887584
- Categorical concepts for parameterized partial specifications
- Theory and Applications of Models of Computation
- New approach to categorical semantics for procedural languages
- scientific article; zbMATH DE number 176139
- scientific article; zbMATH DE number 92598
- Localisation of locally presentable categories
- scientific article; zbMATH DE number 3999254
- Proof-oriented categorical semantics
Cites work
- scientific article; zbMATH DE number 5604061 (Why is no real title available?)
- scientific article; zbMATH DE number 4077461 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 1086718 (Why is no real title available?)
- scientific article; zbMATH DE number 3997131 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
Cited in
(3)
This page was built for publication: Category localization semantics for specification refinements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2385430)