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

Cached

Download Links

by R.A.G. Seely
Venue:In Categories in Computer Science and Logic
Citations:102 - 7 self