Towards a Typed Geometry of Interaction, CSL2005 (2005)

by E Haghverdi, P J Scott
Venue:Computer Science Logic), Luke Ong, Ed. SLNCS