Semantic parametricity in polymorphic lambda calculus (1988)

by P J Freyd, J Y Girard, A Scedrov, P J Scott
Venue:In Proceedings Third Annual Symposium on Logic in Computer Science