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:103 - 7 self

Document Versions

Linear Logic, -Autonomous Categories and Cofree Coalgebras –R.A.G. Seely — 1989 — In Categories in Computer Science and Logic