Domain-theoretical models of parametric polymorphism (0)

by L Birkedal, R E Møgelberg, R L Petersen
Venue:Theor. Comput. Sci