On the geometry of interaction for classical logic (2004)

by C Führmann, D Pym
Venue:In LICS 2004