Category theory for linear logicians (2004)

by R Blute, P Scott
Venue:in Linear Logic in Computer Science