Linear Logic, -Autonomous Categories and Cofree Coalgebras (1989)

by R.A.G. Seely
Venue:In Categories in Computer Science and Logic