Geometric Theories and Databases (1992)

Cached

Download Links

by Steven Vickers
Venue:APPLICATIONS OF CATEGORIES IN COMPUTER SCIENCE, VOLUME 177 OF LONDON MATHEMATICAL SOCIETY LECTURE NOTES
Citations:16 - 4 self

Documents Related by Co-Citation

10 Partial products, bagdomains and hyperlocal toposes – P T Johnstone - 1992
183 Topos Theory – P T Johnstone - 1977
329 W.: Incomplete information in relational databases – T Imieliński, Lipski - 1984
28 Converting nested relational algebra expressions into flat algebra expressions – J Paredaens, D Van Gucht - 1992
29 Semantic Representations And Query Languages For Or-Sets – Leonid Libkin, Limsoon Wong - 1993
61 Towards Tractable Algebras for Bags – Stéphane Grumbach, Tova Milo - 1993
7 Query Languages for Bags – Leonid Libkin, Limsoon Wong - 1993
730 Notions of Computation and Monads – Eugenio Moggi - 1991
12 Geometric logic in computer science – S Vickers - 1993
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
22 An imperative language based on distributive categories – R F C Walters - 1991
7 Some applications of the wreath product construction – C Wells - 1976
2 Categories, data types and imperative languages – E G Wagner - 1986
2 A Krohn-Rhodes theorem for categories – Monthly - 1980
2 Wreath product decomposition of categories II – Szeged - 1988
2 A generalization of the concept of sketch – Szeged - 1990
11 The formal description of data types using sketches – Charles Wells, M Barr - 1988
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
14 The Symmetric Topos – Marta Bunge, Aurelio Carboni - 1995