lambda abstraction (English, noun)
expansion: lambda abstraction (plural lambda abstractions)
Senses:
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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:
form: lambda abstractions
tags: plural