Skip to content

On the Geometry of Interaction for Classical Logic.

Carsten Fhrmann, David J. Pym

VenueA*LICS
Year2004
ProceedingsLICS

Browse the full LICS paper archive.