Functorial parametricity /
Freyd, Peter J.
Robinson, Edward.
Rosolini, Guiseppe.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1991.
Caption title.