Domain Theoretic Models Of Polymorphism (1989)

by Thierry Coquand, Carl A. Gunter, Glynn Winskel