A generalization of the concept of sketch
From MaRDI portal
Publication:916772
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
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)