Autonomous categories and linear logic (1991)

by M Barr
Venue:Math Structures in Comp. Sci