Silvia Ghilezan, Viktor Kuncak. Confluence of Untyped Lambda Calculus via Simple Types. In Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi, editors, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings. Volume 2202 of Lecture Notes in Computer Science, pages 38-49, Springer, 2001. [doi]
@inproceedings{GhilezanK01,
title = {Confluence of Untyped Lambda Calculus via Simple Types},
author = {Silvia Ghilezan and Viktor Kuncak},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2202/22020038.htm},
researchr = {https://researchr.org/publication/GhilezanK01},
cites = {0},
citedby = {0},
pages = {38-49},
booktitle = {Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings},
editor = {Antonio Restivo and Simona Ronchi Della Rocca and Luca Roversi},
volume = {2202},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42672-8},
}