lambda calculus

Why Is It Called Lambda Calculus? Its namesake, the Greek letter lambda (λ), is used in lambda expressions and lambda terms to denote binding a variable in a function. … Lambda calculus has played an important role in the development of the theory of programming languages. Functional programming languages implement lambda calculus. What does lambda