lambda calculus

Fetched 2026-10-26 (cache).

Synonyms: lambda-calculus, lambada calculus, lambada-calculus

Antonyms: lambda-calculus, lambada calculus, lambada-calculus

Related words from Datamuse; suggestions, not definitions.

Noun

1. {{lb|en|computing theory}} Any of a family of [[functionally complete]] algebraic systems in which [[lambda expression]]s are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.