Geometric theories and databases (1992)

by S Vickers
Venue:In Applications of Categories in Computer Science