Category theory for linear logicians (2004)

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