Towards a typed geometry of interaction (0)

by E Haghverdi, P J Scott
Venue:Mathematical Structures in Computer Science, 20(3):1–49, 2010. Preliminary Version in: CSL2005 (Computer Science Logic), SLNCS 3634