|
10
|
Partial products, bagdomains and hyperlocal toposes
– P T Johnstone
- 1992
|
|
157
|
Topos theory
– P T Johnstone
- 1977
|
|
28
|
Converting nested relational algebra expressions into flat algebra expressions
– J Paredaens, D Van Gucht
- 1992
|
|
28
|
Semantic Representations And Query Languages For Or-Sets
– Leonid Libkin, Limsoon Wong
- 1993
|
|
57
|
Towards Tractable Algebras for Bags
– Stéphane Grumbach, Tova Milo
- 1993
|
|
282
|
Incomplete information in relational databases
– T Imieliński, W Lipski
- 1984
|
|
7
|
Query Languages for Bags
– Leonid Libkin, Limsoon Wong
- 1993
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
12
|
Geometric logic in computer science
– S Vickers
- 1993
|
|
379
|
Introduction to Higher Order Categorical Logic
– J Lambek, P J Scott
- 1986
|
|
402
|
Domain Theory
– Samson Abramsky, Achim Jung
- 1994
|
|
13
|
The symmetric topos
– M Bunge, A Carboni
- 1995
|
|
173
|
Jirí Rosicky, Locally Presentable and Accessible Categories
– Jirí Adamek
- 1994
|
|
51
|
Normal Forms and Conservative Properties for Query Languages over Collection Types
– Limsoon Wong
- 1993
|
|
57
|
Using Powerdomains to Generalize Relational Databases
– Peter Buneman, Achim Jung, Atsushi Ohori
- 1991
|
|
2
|
Partial products and bagdomains
– P Johnstone
- 1992
|
|
17
|
Cartesian closed categories of algebraic CPO’s
– A Jung
- 1990
|
|
13
|
Power Domains and Second Order Predicates
– Reinhold Heckmann
- 1993
|
|
22
|
Power Domain Constructions
– Reinhold Heckmann
- 1998
|
