Subtyping and parametricity (0)

by Martín Abadi Plotkin, Luca Cardelli