Lambda Calculus is a notation created in 1936 by Alonzo Church.
#2989on PLDB | 89Years Old |
Lambda Calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It serves as a foundation for functional programming languages and theoretical computer science.
(位x.x) y
# Represents the identity function applied to y