On the Geometry of Interaction for Classical Logic (Extended Abstract (2004)

by C Fuhrman, D Pym
Venue:Proc. LICS 04, IEEE Computer