Contextualizebeta

lambda calculus

noun

Etymology

Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.

Definitions

  1. Any of a family of functionally complete algebraic systems in which lambda expressions…

    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.

The neighborhood

Vish — recursive loop

No curated loop yet for lambda calculus. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA