Lambda Calculus - Notation

Lambda Calculus is a notation created in 1936 by Alonzo Church.

#3012on PLDB

90Years 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.

Tags: notation
Early development of Lambda Calculus happened in Princeton University
Read more about Lambda Calculus on the web: 1.
6 PLDB concepts link to Lambda Calculus: Automath, CosmicOS, De Bruijn Notation, LEGO, Lisp, Martin-Lof Type Theory

Example from the web:

(λx.x) y
# Represents the identity function applied to y