University
of Washington • CSE583 • D. Notkin © 2000
88
Example
lSELF º lx · (x (x))
lSELF (lx · (x (x)))
llx · (x (x)) (lx · (x (x)))
lWhat does this
application of SELF to itself
produce?
–lx · (x (x)) (lx · (x (x)))
–Itself,
with no reduction in lambda’s.