lambda abstraction en · NOUN
Meanings
- A 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
| Spelling | Features | Labels | Source |
|---|---|---|---|
| lambda abstractions | Number=Plur | lexicographic |