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 formal system for defining functions and predicates, which is a mathematical language that can be used to describe computation.