autonomous categories and linear logic (1991)

by M Barr
Venue:Math. Struct. Computer Science