lambda calculus

World English Dictionary
lambda calculus
 
n
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 & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
Explore Dictionary.com
Previous Definition: lambda c baryon
Next Definition: lambda expression
Words Near: lambda calculus
More from Thesaurus.com
Synonyms and Antonyms for lambda calculus
More from Reference.com
Search for articles containing lambda calculus
More from Dictionary.com Translator
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature