A generalization of the concept of sketch

DOI10.1016/0304-3975(90)90158-EMaRDI QIDQ916772zbMATH OpenFDO

Authors Elsie Sterbin Gottlieb

Publication date 1990

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

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)

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

Cites work

• scientific article; zbMATH DE number 3849206 (Why is no real title available?)
• scientific article; zbMATH DE number 3901002 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3955174 (Why is no real title available?)
• scientific article; zbMATH DE number 3955179 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 4047048 (Why is no real title available?)
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 4050960 (Why is no real title available?)
• scientific article; zbMATH DE number 4059656 (Why is no real title available?)
• scientific article; zbMATH DE number 4099537 (Why is no real title available?)
• scientific article; zbMATH DE number 4106837 (Why is no real title available?)
• scientific article; zbMATH DE number 3744496 (Why is no real title available?)
• scientific article; zbMATH DE number 4128423 (Why is no real title available?)
• scientific article; zbMATH DE number 3995937 (Why is no real title available?)
• scientific article; zbMATH DE number 3999259 (Why is no real title available?)
• scientific article; zbMATH DE number 4001458 (Why is no real title available?)
• scientific article; zbMATH DE number 3805782 (Why is no real title available?)
• scientific article; zbMATH DE number 3358702 (Why is no real title available?)
• Aspects of topoi
• Categorical aspects of data type constructors
• Examples of non-monadic structures on categories
• Introduction to distributive categories
• On the essentially-algebraic theory generated by a sketch

Cited in

(9)

• scientific article; zbMATH DE number 1088533 (Why is no real title available?)
• scientific article; zbMATH DE number 58297 (Why is no real title available?)
• scientific article; zbMATH DE number 7760192 (Why is no real title available?)
• scientific article; zbMATH DE number 1167911 (Why is no real title available?)
• Generalized sketches as a framework for completeness theorems. I-III
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• A formalism for the specification of essentially-algebraic structures in 2-categories
• scientific article; zbMATH DE number 149413 (Why is no real title available?)
• 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)