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.
Значення
значень: 1A 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.
Форми
множина: lambda abstractions| Однина | lambda abstraction |
|---|---|
| Множина | lambda abstractions |
правильне