The meaning of specifications I: Domains and initial models
From MaRDI portal
(Redirected from Publication:673181)
Recommendations
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3714981 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 108365 (Why is no real title available?)
- scientific article; zbMATH DE number 3539212 (Why is no real title available?)
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- scientific article; zbMATH DE number 554481 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3419181 (Why is no real title available?)
- Algebraic specification of data types: A synthetic approach
- Algebraic specifications of computable and semicomputable data types
- Data Type Specification: Parameterization and the Power of Specification Techniques
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Specifications, models, and implementations of data abstractions
- Why Horn formulas matter in computer science: initial structures and generic examples
Cited in
(9)- Characterizing specification languages which admit initial semantics
- scientific article; zbMATH DE number 4043228 (Why is no real title available?)
- Generalization of final algebra semantics by relativization
- Specifying with syntactic theory functors
- Functorial semantics of first-order views
- Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
- Functorial theory of parameterized specifications in a general specification framework
- Initial semantics of logic specifications with negation
- scientific article; zbMATH DE number 3956411 (Why is no real title available?)
This page was built for publication: The meaning of specifications I: Domains and initial models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673181)