lambda abstraction

noun

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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounlambda abstraction (plural lambda abstractions)

plural lambda abstractions

  1. computingA 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.
Cite this entry
APA

lambda abstraction. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/lambda%20abstraction

MLA

“lambda abstraction.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/lambda%20abstraction. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “lambda abstraction,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/lambda%20abstraction.

Source: lambda abstraction on Wiktionary, CC BY-SA 4.0.