# lambda calculus

Also found in: Encyclopedia, Wikipedia.

## lambda calculus

*n*

**1.**(Logic)

*logic*

*computing*a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages

**2.**(Computer Science)

*logic*

*computing*a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages

[C20: from the use of the symbol

*lambda*(λ) to represent the mathematical functions]Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

Translations

**lambda kalkul**

**lambdakalkyyli**

**lambda račun**

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, or visit the webmaster's page for free fun content.

Link to this page: