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

View PDF

Download Links

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