Autonomous categories and linear logic (1991)

Cached

Download Links

by Michael Barr
Venue:Mathematical Structures in Computer Science
Citations:102 - 9 self