Conceptλ演算 / Lambda Calculus
Lambda Calculus
A formal system proposed by logician Alonzo Church in the 1930s that describes computation using pure mathematical functions. Lambda calculus is equivalent in computational power to the Turing machine and serves as the theoretical foundation for functional programming languages.
Timeline (last 90 days)
Sep 11
Lambda calculus was proposed by Alonzo Church in the 1930s and is equivalent in computational power to the Turing machine.
Unverified50%
Sep 8
Lambda calculus proves that all computable functions can be realized using only function definition and function application.
Unverified50%