Category theory for linear logicians (2004)

by Richard Blute , Philip Scott
Venue:Linear Logic in Computer Science
Citations:10 - 2 self