University of Washington • CSE583 • D. Notkin © 2000
78
Defining cond
lcond º lb · lc · la · b c a
–cond true 2 1
(lb · lc · la · b c a) true 2 1
–(lc · la · true c a) 2 1
–(la · true 2 a) 1
–true 2 1
–(lt · lf · t) 2 1
–(lf · 2) 1
–2
lOf course, we could represent 1 and 2 explicitly as functions, too