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

by R A G Seely
Venue:In Categories in Computer Science and Logic, Contemp. Math