Lambda Abstraction Definition
noun
A lambda term of the form (\lambda 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 \lambda x. prefix. It is meant to represent an anonymous function.
Wiktionary
Other Word Forms of Lambda Abstraction
Noun
Singular:
lambda abstraction
Plural:
lambda abstractions
Find Similar Words
Find similar words to lambda abstraction using the buttons below.