A PER model of polymorphism (1990)

by M Abadi, G D Plotkin
Venue:In 5th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, CA