Lambda calculus is Turing complete, that is, it is a universal model of computation that can be used to simulate any Turing machine. Its namesake, the Greek letter lambda (λ), is used in … See more

Motivation
Computable functions are a fundamental concept within computer science and mathematics. The lambda calculus provides simple semantics for computation which are useful for formally studying properties of … See more

For the untyped lambda calculus, β-reduction as a rewriting rule is neither strongly normalising nor weakly normalising See more

Lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. The original system was shown to … See more

Definition
Lambda expressions are composed of:
• variables v1, v2, ...;
• the abstraction symbols λ (lambda) and . (dot);
• parentheses (). See more

The meaning of lambda expressions is defined by how expressions can be reduced.
There are three kinds … See more

The basic lambda calculus may be used to model arithmetic, Booleans, data structures, and recursion, as illustrated in the following sub … See more