Silvia Ghilezan and Viktor Kuncak. Types and confluence in lambda calculus. In
3rd Panhellenic Logic Symposium
, pages 17--21, Anogia, Greece, 2001.
[
bib
]
Back