Geometry of interaction 1: interpretation of system F (1989)

by J-Y Girard
Venue:In Proc. Logic Colloquium 1988