Geometry of interaction i: Interpretation of system F (1989)

by J-Y Girard
Venue:Logic Colloquium ’88