Word.ws English Dictionary

lambda calculi

lambda calculi is the plural of lambda calculus.

Meaning of lambda calculus

Noun

lambda calculus (countable and uncountable, plural lambda calculi)

  1. Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
    • In the 1930s, while Turing was developing what are now called ‘Turing machines’ as a model for computation, Church and his student Kleene were developing a different model, called the ‘lambda calculus’ [29, 63]. While a Turing machine can be seen as an idealized, simplified model of computer...2009 February 3, John C. Baez with Mike Stay, “Physics, Topology, Logic and Computation: A Rosetta Stone”, in (Please provide the book title or journal name), page 50

Questions about lambda calculi

What is lambda calculi the plural of?
Lambda calculi is the plural of lambda calculus.

Words near lambda calculi in the dictionary

  1. lambda
  2. lambda abstraction
  3. lambda abstractions
  4. lambda baryon
  5. lambda baryons
  6. lambda calculi
  7. lambda calculus
  8. lambda expression
  9. lambda expressions
  10. lambda function
  11. lambda functions

Source and license

Adapted from Wiktionary: lambda calculi (page history and authors); lambda calculus (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “lambda calculi.” Word.ws, https://word.ws/lambda_calculi. Based on Wiktionary, CC BY-SA 4.0.