scientific article; zbMATH DE number 4128423

MaRDI QIDQ4207604zbMATH OpenFDO

Authors John W. Gray

Publication date 1989

zbMATH Keywords

reflexive graphdependent typesalgebraic semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Graphs, diagram schemes, precategories (18A10)

Recommendations

• Sketches and computation – I: basic definitions and static evaluation
• scientific article; zbMATH DE number 4050960
• A formalism for the specification of essentially-algebraic structures in 2-categories
• Categorical aspects of data type constructors
• scientific article; zbMATH DE number 1231576

Cited in

(13)

• An Invitation to Applied Category Theory
• A generalization of the concept of sketch
• The logic of structures
• scientific article; zbMATH DE number 30668 (Why is no real title available?)
• An algebraic semantics for structured transition systems and its application to logic programs
• Generalized sketches as a framework for completeness theorems. I-III
• scientific article; zbMATH DE number 1164384 (Why is no real title available?)
• Categorical aspects of data type constructors
• scientific article; zbMATH DE number 622433 (Why is no real title available?)
• A formalism for the specification of essentially-algebraic structures in 2-categories
• Compositional SOS and beyond: A coalgebraic view of open systems
• Sketches and computations over fields.
• scientific article; zbMATH DE number 4050960 (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 Q4207604)