Flow Analysis in the Geometry of Interaction.

Thomas P. Jensen, Ian Mackie

Browse the full ESOP paper archive.