University
of Washington • CSE583 • D. Notkin © 2000
68
Function definition
lA function in the lambda calculus has
a single basic
form
–lx,y,z · expr
–where the x,y,z are identifiers representing the function’s arguments
lThe value of the lambda expression is
a mathematical
function (not a number, or a set of numbers, or a float, or a structure, or a C procedure, or anything else)