Function definition
A function definition in the lambda calculus has a single basic form
- ?x,y,z ? expr
- where the x,y,z are identifiers representing the function’s arguments
The 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)