What Does Lambda Calculus Mean?
Lambda calculus is a type of formal system from mathematical logic used in computer science for function definition, application and recursion.
Functional computer programming arose out of this type of calculus, and acts in turn as a model for software development via providing simple semantics for computation with functions. Unlike with imperative functions, which can change program status because they don't have referential transparency, functional programming doesn't change program status.