Autonomous Categories and Linear Logic (1991)

by M Barr
Venue:Mathematical Structures in Computer Science