## Confluence of untyped lambda calculus via simple types

### Citation

Silvia Ghilezan and Viktor Kuncak.
Confluence of untyped lambda calculus via simple types.
In *Proceedings of the 7th Italian Conference on Theoretical
Computer Science, ICTCS 2001*, volume 2202 of *LNCS*, Torino, Italy,
October 2001.### BibTex Entry

@inproceedings{GhilezanKuncak01Confluence,
author = {Silvia Ghilezan and Viktor Kuncak},
title = {Confluence of untyped lambda calculus via simple types},
booktitle = {Proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001},
year = 2001,
volume = 2202,
series = {LNCS},
address = {Torino, Italy},
month = {October}
}