Lazy lambda calculus: theories, models and local structure characterization (1992)

by L Ong
Venue:Proceedings ICALP'92, Lecture Notes in Computer Science 623, 487 -- 498