Lambda expressions

Lambda calculus has 3 forms of expressions:

• variables

• lambda abstraction

• lambda application

More precisely, variables are actually parameters of a function. Commonly, a variable is an element of a programming language that serves to associate itself with some value; it gives a friendly name to a value, which, depending on the complexity may be called a literal (value) or a (value) object.

thereby enormosly aiding the programming

easing the

; that is, a variable is a binder - it binds a value.

to itself a

that can appear almost everywhere, certainly inside and outside functions.