User: Where does the lambda come from in the lambda calculus?
Assistant: It’s named after the Greek letter lambda. The lambda calculus is a mathematical system that describes computation. The lambda calculus is an abstract mathematical system that describes computation in terms of functions and their arguments.