On the geometry of interaction for classical logic (2004)

by Carsten Führmann, David Pym