A categorical model for the Geometry of Interaction, to appear (0)

by E Haghverdi, P J Scott
Venue:in Theoretical Computer Science (cf. ICALP 2004, Springer LNCS 3142