Using the Lambda Calculus

• Unlike functions from the PLs, lambdas require no (manual) computation in their body apart substitution.

• The only caclulation, that happens when a lambda is applied to an arg, is the process of (careful) substitution.