I-categories and duality (1992)

by M B Smyth
Venue:Applications of categories in computer science, volume 177 of London Mathematical Society Lecture Note Series