@inproceedings{0808025f397e4ed5ae3356612d8e2b02,
title = "The lazy call-by-value λ-calculus",
author = "Lavinia Egidi and Furio Honsell and \{Della Rocca\}, \{Simona Ronchi\}",
note = "Funding Information: 1 Work partially supported by MURST 40\% and Lambda Calcu[ Type{"}.; 16th International Symposium on Mathematical Foundations of Computer Science, MFCS 1991 ; Conference date: 09-09-1991 Through 13-09-1991",
year = "1991",
doi = "10.1007/3-540-54345-7\_59",
language = "English",
isbn = "9783540543459",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "161--169",
editor = "Andrzej Tarlecki",
booktitle = "Mathematical Foundations of Computer Science 1991 - 16th International Symposium, Proceedings",
address = "Germany",
}