Domain theoretical models of polymorphism (1989)

by T Coquand, C Gunter, G Winskel
Venue:Information and Computation