Functorial parametricity (1992)

by P J Freyd, E P Robinson, G Rosolini
Venue:In 6th Annual IEEE Symposium on Logic in Computer Science