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

by C Führmann, D Pym
Venue:Mathematical Structures in Computer Science 17