lambda term

noun

A well-formed formula in the language of a lambda calculus.

“A lambda term can have one of these three forms: (1) a variable by itself, (2) a lambda abstraction, (3) an application of one lambda term to another one.”

Similar
lambda expression
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounlambda term (plural lambda terms)

plural lambda terms

  1. computingA well-formed formula in the language of a lambda calculus.

    A lambda term can have one of these three forms: (1) a variable by itself, (2) a lambda abstraction, (3) an application of one lambda term to another one.

    Synonyms: lambda expression

Synonyms & antonyms

nounA well-formed formula in the language of a lambda calculus.

Similar
lambda expression
Also see
lambda expression
Cite this entry
APA

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

MLA

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

Chicago

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

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