<human>:  Why is it called the Lambda calculus?
<bot>: It was named after the Greek letter lambda, which is used to denote the function f(x) = x + a. This is an example of a lambda function, which is a function that takes a single argument and returns a function. In this case, the lambda function is returning the function f(x) = x + a.