<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. The lambda calculus is a mathematical formalism for describing computation, and it was originally developed by Alonzo Church in the 1930s.