> For the complete documentation index, see [llms.txt](https://mandober.gitbook.io/math-debrief/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://mandober.gitbook.io/math-debrief/340-lambda-calculi/341-basic-concepts/02-lambda-expressions.md).

# 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.