lambda calculus

English dictionary entry

Meanings

noun

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.

LL-Q1860 (eng)-Naomi Persephone Amethyst (NaomiAmethyst)-lambda calculus.wav

lambda calculus lambda calculi

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

calculus lambda lambda abstraction lambda expression combinator functionally complete recursive function Turing machine

simply typed lambda calculus typed lambda calculus

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.

Back to search All on L Russian dictionary Dahl dictionary