Geometry of Interaction I: interpretation of system F (1989)

by J-Y Girard
Venue:In: Proceedings Logic Colloquium ’88