Chu I: Cofree equivalences, dualities and *-autonomous categories (1997)

by Dusko Pavlovic
Venue:Mathematical Structures in Computer Science