lambda abstraction
English
Noun
lambda abstraction (plural lambda abstractions)
- (computing theory) A lambda term of the form 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 prefix. It is meant to represent an anonymous function.
This article is issued from
Wiktionary.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.