17 Feb
1997
17 Feb
'97
12:07 p.m.
There is some work by John Cartmell. He applied some ideas from his thesis --- about contextual categories, generalized algebraic theories and dependent type theory. The thesis was Oxford, '78, and some of it appeared in the Ann. P. Appl. Logic 32 (1986) 209-243. Unfortunately, the only reference to the databases applications that I can recall just now is: Formalizing the network and hierarchical data models --- an application of categorical logic, LNCS 240, 1986. Thomas Streicher may perhaps know more ? David
Date: Thu, 13 Feb 1997 15:12:56 UTC From: Jose I. Bravo <jibravo@ull.es>
I am very interested in the application of Category Theory in the area of Databases. Could anybody help me to obtain references on this subject?