University
of Washington • CSE583 • D. Notkin © 2000
71
Currying
lMany definitions of
the lambda calculus restrict functions to
having a single argument
lBut that’s OK, since
there exists a function that can curry
other functions, yielding only functions
of one argument
lSo we can use a
multiple argument lambda calculus without
loss of generality