University
of Washington • CSE583 • D. Notkin © 2000
72
Beta reduction rule
lApplication is
defined using the beta-reduction
rule
–This in
essence replaces the formals with the values
of the applied arguments
l(lx,y ·if x > y then x else y) 5 6
if 5 > 6 then 5 else 6
6
if 5 > 6 then 5 else 6
6