Marcello M. Bonsangue, Joost N. Kok. Infinite Intersection and Union Types for the Lazy Lambda Calculus. In Naoki Kobayashi, Benjamin C. Pierce, editors, Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Volume 2215 of Lecture Notes in Computer Science, pages 448-458, Springer, 2001. [doi]
Abstract is missing.