I-categories and duality (1992)

by M B Smyth
Venue:Applications of Categories in Computer Science