Geometric theories and databases (1992)

by S Vickers
Venue:Pitts (Eds.), Applications of Categories in Computer Science: Proceedings of the LMS Symposium