<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 formal system that describes the behavior of functions in a mathematical way. It was developed by Alonzo Church in the 1930s and 1940s.