Functorial Parametricity

Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini

Browse the full LICS paper archive.