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]
Abstract is missing.