Domain theoretic models of polymorphism (1989)

by Thierry Coquand, Carl A Gunter, Glynn Winskel
Venue:Inf. Comput