Category theory for linear logicians (2004)

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