Non-symmetric - autonomous categories (1995)

by M Barr
Venue:Theoretical Comp. Science