<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 allows you to define functions, which are mathematical functions that map inputs to outputs.