University
of Washington • CSE583 • D. Notkin © 2000
89
The good news
lHowever, we’re
still not in trouble
lChurch proved a
theorem that shows that any recursive
function can be written
non-recursively in the lambda calculus
–So we
can use recursion without (this) danger in
defining programs in functional languages