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

by C Führmann, D Pym
Venue:Mathematical. Structures in Comp. Sci