Geometric theories and databases (1992)

by S Vickers
Venue:Applications of Categories in Computer Science, volume 177 of London Mathematical Society Lecture Notes