lambda abstraction

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Noun

[edit]

lambda abstraction (plural lambda abstractions)

  1. (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.