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:129 - 8 self