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

Document Versions

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