<human>:  With regards to the lambda calculus, where does the lambda come from?
<bot>: That’s a good question. The lambda comes from the Greek letter lambda, <unk>. The lambda calculus is a formal system for describing computation. It was developed by Alonzo Church and Alan Turing in the 1930s. The lambda comes from the Greek lambda, <unk>, which means empty. The lambda calculus is an abstract system for describing computation, and it is an important part of computer science.