scientific article; zbMATH DE number 4128423

zbMATH Open0688.68077MaRDI QIDQ4207604FDOQ4207604

Authors: John W. Gray 

Publication date: 1989

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

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

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)

Cited In (13)

• A generalization of the concept of sketch
• The logic of structures
• Title not available (Why is that?)
• An algebraic semantics for structured transition systems and its application to logic programs
• Generalized sketches as a framework for completeness theorems. I-III
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical aspects of data type constructors
• 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.
• Title not available (Why is that?)
• An Invitation to Applied Category Theory

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)