https://emsenn.net/tags/lambda-calculus/ Recent content in Lambda-Calculus on emsenn.net Hugo en Thu, 05 Mar 2026 00:00:00 +0000 https://emsenn.net/library/domains/science/domains/math/domains/type-theory/texts/untyped-lambda-calculus/ Thu, 05 Mar 2026 00:00:00 +0000 https://emsenn.net/library/domains/science/domains/math/domains/type-theory/texts/untyped-lambda-calculus/ <h2 id="entry-conditions"><a href="#entry-conditions" class="heading-anchor" aria-label="Link to this section">¶</a>Entry conditions </h2> <p>Use this lesson when you want to understand computation at its most fundamental level — before types, before programming languages, before machines. The lambda calculus is a formal system where every computation is expressed using only three constructs: variables, function definitions, and function application.</p> <p>No prior knowledge of logic, type theory, or programming is assumed. If you have written functions in any programming language, the intuitions will be familiar.</p>