Parametricity as isomorphism /
Robinson, Edmund.
University of Sussex.Computer Science.
Brighton : University of Sussex,
1992.
Cover title.