On categorical models of classical logic and the geometry of interaction (0)

by C Fuhrmann, D Pym
Venue:Mathematical Structures in Computer Science