autonomous categories, cofree algebras and linear logic (1989)

by R Seely
Venue:Categories in Computer Science and Logic