Geometry of interaction 1: Interpretation of system f (1989)

by J Girard
Venue:Studies in Logic and the Foundations of Mathematics, 127:221–260