| Lambda Abstraction |
Article Index for Lambda |
Website Links For Lambda |
Information AboutLambda Abstraction |
|
More specifically, a lambda abstraction is a lambda expression with no free variables: each of its variables is bound by some lambda. E.g. :f (f (f x)) is a concrete lambda expression, whereas :λf. λx. f (f (f x)) is an abstract lambda expression. For example, λ could stand for 'for each', 'for some', or 'there is'. In this case, the expression could stand for a 'logic proposition'. |
|
|