Outline of a proof theory of parametricity (1991)

by H Mairson
Venue:In Proc. of FPCA 1991, volume 523 of LNCS