Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Lambda calculus definition
open-in-new
<p>Lambda calculus is a formal mathematical system based on lambda abstraction and <a href="/facts/Function_application/p4auE0QF">function application</a>. Two definitions of the language are given here: a standard definition, and a definition using mathematical formulas. </p>