Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
lambda abstraction
Jump to user comments
A term in lambda-calculus denoting a function. A lambda
abstraction begins with a lower-case lambda (represented as
"" in this document), followed by a variable name (the "bound
variable"), a full stop and a lambda expression (the body).
The body is taken to extend as far to the right as possible
so, for example an expression,
x . y . x+y
is read as
x . ( y . x+y).
A nested abstraction such as this is often abbreviated to:
x y . x + y
The lambda expression ( v . E) denotes a function which takes
an argument and returns the term E with all free occurrences
of v replaced by the actual argument. Application is
represented by juxtaposition so
( x . x) 42