Non-symmetric ∗-autonomous categories (1995)

by Michael Barr
Venue:Theoretical Computer Science