Towards a Typed Geometry of Interaction.

Esfandiar Haghverdi, Philip J. Scott

Browse the full CSL paper archive.