<human>:  Where does the lambda come from in the lambda calculus?
<bot>: 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.