scientific article; zbMATH DE number 4050960

zbMATH Open0644.68030MaRDI QIDQ3787451FDOQ3787451

Authors

Publication date 1988

zbMATH Keywords

semanticsinitial algebrasdatatypessketches

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Graphs, diagram schemes, precategories (18A10)

Recommendations

• Categorical aspects of data type constructors
• scientific article; zbMATH DE number 30668
• scientific article; zbMATH DE number 4111987
• Publication:4207604
• Sketches and computations over fields.

Cited in

(9)

• Generalized sketches as a framework for completeness theorems. I-III
• A generalization of the concept of sketch
• scientific article; zbMATH DE number 58297 (Why is no real title available?)
• Categorical aspects of data type constructors
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Functorial theory of parameterized specifications in a general specification framework
• Sketches and computation – I: basic definitions and static evaluation
• scientific article; zbMATH DE number 4128423 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787451)