Category theory for linear logicians (0)

by Richard Blute, Philip Scott
Venue:In Linear Logic in Computer Science, LMS 316