Lambda calculus
From Fresh Dictionary
Contents |
[edit]
English
[edit]
Etymology
Coined by Alonzo Church after the use of the Greek letter lambda in the calculus.
[edit]
Noun Phrase
lambda calculus
- (computing theory{{#if:|, {{{2}}}{{#if:|, {{{3}}}{{#if:|, {{{4}}}{{#if:|, {{{5}}}{{#if:|, {{{6}}}{{#if:|, {{{7}}}{{#if:|, {{{8}}}{{#if:|, {{{9}}}}}}}}}}}}}}}}}}}) 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.
[edit]
Related Terms
[edit]