C.-H. Luke Ong
Lazy λ Calculus: Theories, Models and Local Structure Characterization
ICALP, 1992.
@inproceedings{ICALP-1992-Ong, author = "C.-H. Luke Ong", booktitle = "{Proceedings of the 19th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-55719-9_98", isbn = "3-540-55719-9", pages = "487--498", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Lazy λ Calculus: Theories, Models and Local Structure Characterization}", volume = 623, year = 1992, }