https://kevinwang930.github.io/categories/lambda-calculus/Recent content in Lambda Calculus on Kevin wang's blogHugoen-USSat, 31 Oct 2026 17:45:00 +0100https://kevinwang930.github.io/post/computer/lambda-calculus/Sat, 31 Oct 2026 17:45:00 +0100https://kevinwang930.github.io/post/computer/lambda-calculus/<p>The lambda calculus (also written as λ-calculus) is a formal system for expressing computation based on function abstraction and application using variable binding and substitution. The calculus is a universal machine: a model of computation that can be used to simulate any Turing machine. Alonzo Church introduced it in the 1930s as part of his research into the foundations of mathematics. Racket implements it directly: <code>lambda</code> is the abstraction, and <code>(f a)</code> is the application.</p>