scientific article; zbMATH DE number 4128423

MaRDI QIDQ4207604zbMATH OpenFDO

Authors John W. Gray

Publication date 1989

zbMATH Keywords

algebraic semanticsdependent typesreflexive graph

Mathematics Subject Classification ID

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

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)

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

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)