A generalization of the concept of sketch

DOI10.1016/0304-3975(90)90158-EzbMath0704.18001MaRDI QIDQ916772

Elsie Sterbin Gottlieb

Publication date: 1990

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

zbMATH Keywords

sketchprogramming languagesfunctional programmingconstructor spacesform of a type

Mathematics Subject Classification ID

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

Related Items (4)

A formalism for the specification of essentially-algebraic structures in 2-categories ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ Proving semantical equivalence of data specifications ⋮ Unnamed Item

Cites Work

• Categorical aspects of data type constructors
• Examples of non-monadic structures on categories
• On the essentially-algebraic theory generated by a sketch
• Introduction to distributive categories
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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