University of Washington • CSE583 • D. Notkin
©
2000
81
Example
l
(
l
x
·
y) ((
l
x
·
x x) (
l
x
·
x x))
–
never reduces in applicative-order
l
(
l
x
·
y) ((
l
x
·
x x) (
l
x
·
x x))
–
reduces to y directly in normal-order
