Towards a Geometry of Interaction, in (1989)

by J-Y Girard
Venue:Categories in Computer Science and Logic