Parametricity as Isomorphism (1993)

by Edmund Robinson, Edmund Robinson
Venue:Theoretical Computer Science