scientific article; zbMATH DE number 4050960

zbMATH Open0644.68030MaRDI QIDQ3787451FDOQ3787451

Authors:

Publication date: 1988

Title of this publication is not available (Why is that?)

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.

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)

Cited In (9)

• A generalization of the concept of sketch
• Sketches and computation – I: basic definitions and static evaluation
• Title not available (Why is that?)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Generalized sketches as a framework for completeness theorems. I-III
• Title not available (Why is that?)
• Functorial theory of parameterized specifications in a general specification framework
• Categorical aspects of data type constructors
• Title not available (Why is that?)

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)