Linear logic, *-autonomous categories and cofree coalgebras (1989)

by R A G Seely
Venue:In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics