Home Java Java8 Lambda Calculus   Share on Google+Share on
Google+  Lambda Calculus  What is Lambda Calculus?  Lambda
Calculus - Learn about the Lambda Calculus   Lambda calculus or
to express differently, λ-calculus formulated by famous American
mathematician and logician Alonzo Church is a system of
mathematical logic that played key role in the subsequent
development of computer science. This mathematical system of
logic made the computation based on function abstraction and
variable and substitution based application possible. This
system of mathematical logic is the first stepping stone towards
conceptualization of effective computability in the path shown
by Alonzo Church. Etymologically the name Lambda as given to
this system of logic can be traced to Greek alphabet signifying
binding of the variables in a logical function. This simple and
universally accepted model of computation later has been
contested by Turing machines in respect of expressiveness as
shown by Alan Turing back in 1937.  Lambda Calc