Linear logic *-autonomous categories and cofree coalgebras (1987)

by R Seely
Venue:Categories in Computer Science and Logic