lambda abstraction
lambda abstraction · lambda abstractions
A lambda term of the form where x is a variable and t another lambda termA lambda term of the form (λx.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the λx. prefix. It is meant to represent an anonymous function.
Meaning
1 sensesA lambda term of the form (λx.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the λx. prefix. It is meant to represent an anonymous function.
Forms
plural: lambda abstractions| Singular | lambda abstraction |
|---|---|
| Plural | lambda abstractions |
regular