DMCA
Linear Logic, *-Autonomous Categories and Cofree Coalgebras (1989)
by
R.A.G. Seely
Venue: | IN CATEGORIES IN COMPUTER SCIENCE AND LOGIC |
Citations: | 128 - 8 self |