On the Geometry of Interaction for Classical Logic (2004)

by C Führmann, D Pym
Venue:In Proc. LICS 04