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.
[
bib
]
Back