A generalization of the concept of sketch

DOI10.1016/0304-3975(90)90158-EzbMATH Open0704.18001MaRDI QIDQ916772FDOQ916772

Authors: Elsie Sterbin Gottlieb 

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• A formalism for the specification of essentially-algebraic structures in 2-categories
• scientific article; zbMATH DE number 30668
• Categorical aspects of data type constructors
• scientific article; zbMATH DE number 1231576
• scientific article; zbMATH DE number 4050960

zbMATH Keywords

sketchfunctional programmingprogramming languagesconstructor spacesform of a type

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Graphs, diagram schemes, precategories (18A10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Aspects of topoi
• Introduction to distributive categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical aspects of data type constructors
• Examples of non-monadic structures on categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the essentially-algebraic theory generated by a sketch
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized sketches as a framework for completeness theorems. I-III
• Title not available (Why is that?)
• A formalism for the specification of essentially-algebraic structures in 2-categories
• Title not available (Why is that?)
• Proving semantical equivalence of data specifications

This page was built for publication: A generalization of the concept of sketch

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