Lambda Calculus is a formal language which helped define the notion of a computable funcion. The languages lisp, scheme and haskell are very closely related to lamda calculus. The language defines means for abstraction and invocation, which are its axioms. All other programming constructs are derived from these basic axioms.