G. Plotkin

P. Di Gianantonio, F. Honsell, and G. Plotkin. Uncountable limits and the lambda calculus. Nordic Journal of Computing, 2(2):126-145, Summer 1995. Abstract, References, Citations, etc.