scientific article; zbMATH DE number 431773

zbMATH Open0790.68081MaRDI QIDQ3138549FDOQ3138549

Authors: Steven Vickers 

Publication date: 11 November 1993

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

Recommendations

• scientific article; zbMATH DE number 431774
• Topical categories of domains
• Publication:4723931
• Functional Thesauri, Classifying Topoi, Unification, and Flatness
• A categorical approach to database semantics
• scientific article
• Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
• Coherence and consistency in domains
• Publication:4729784
• scientific article

zbMATH Keywords

localetopos theorypowerdomainbagdomainclassifying toposes

Mathematics Subject Classification ID

Database theory (68P15) Topoi (18B25) Hyperspaces in general topology (54B20) Abstract data types; algebraic specification (68Q65)

Cited In (12)

• Strongly algebraic = SFP (topically)
• Fibrations and partial products in a 2-category
• Discrete random variables over domains
• Spreads and the symmetric topos
• Variations on the bagdomain theme
• Continuous functions and neural network semantics
• Geometrical aspect of databases and knowledge bases.
• Title not available (Why is that?)
• On representation and querying incomplete information in databases with bags
• Geometric query types for data retrieval in relational databases
• Title not available (Why is that?)
• A categorical approach to database semantics

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 Q3138549)