<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. In the Lambda calculus, the functions are written in a way that makes them easy to manipulate, and the name lambda calculus comes from the fact that they are written in terms of lambda abstractions.