Nonsymmetric ∗-autonomous categories, Theoret (1995)

by Michael Barr
Venue:Comput. Sci