
 lambda calculus  a Whatis.com definition 
  The language deals with the application of a function to its arguments (a function is a set of rules) and expresses any entity as either a variable, the application of one function to another, or as a "lambda abstraction" (a function in which the Greek letter�lambda is defined as the abstraction operator). 
  Lambda calculus, and the closely related theories of combinators and type systems, are important foundations in the study of mathematics, logic, and computer programming language. 
  Roger Bishop Jones provides an overview of Lambda calculus, combinatory logic, and type systems. 
 whatis.techtarget.com /definition/0,,sid9_gci341298,00.html (195 words) 
