lambda calculus


noun

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

QUIZZES

THINK YOU’VE GOT A HANDLE ON THIS US STATE NICKNAME QUIZ?

Did you ever collect all those state quarters? Put them to good use on this quiz about curious state monikers and the facts around them.
Question 1 of 8
Mississippi’s nickname comes from the magnificent trees that grow there. What is it?

Word Origin for lambda calculus

C20: from the use of the symbol lambda (λ) to represent the mathematical functions
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012