README.md

Lambda Calculus

(Up) | See also: Name Binding, Logic, Type Theory, Functional Programming

Web resources

functional programming - Is Lambda Calculus purely syntactic? - Computer Science Stack Exchange ★

What are the axioms, inference rules, and (formal) semantics of lambda calculus? - Computer Science Stack Exchange ★

lo.logic - What\'s the point of \$\eta\$-conversion in lambda calculus? - Theoretical Computer Science Stack Exchange ★

lambda calculus - What\'s the definition of equational theory? Why is λ logic free? - Mathematics Stack Exchange ★

lo.logic - Scott on the consistency of the lambda calculus - MathOverflow ★

Lambda Terms

The largest number representable in 64 bits ★

lo.logic - What\'t the smallest lambda calculus term which is not known to have a normal form? - MathOverflow ★

(in Compiler Construction) Example assembly/machine instruction from lambda calculus ★★ 💭

Repositories

maciej-bendkowski/lambda-sampler: Boltzmann sampler utilities for lambda calculus ★

(in Name Binding) mathink/mslambda: Map, Skeleton, Lambda term. ★ 💭

(in Name Binding) bacam/sato-maps-agda ★ 💭

Papers

A Short Introduction to the Lambda Calculus ★★ 💭

Introduction to Lambda Calculus ★★ 💭

Chapter 5: The Untyped Lambda Calculus ★★

Untyped Lambda Calculus ★

A Lambda-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure ★ 💭

The Lambda Calculus is Algebraic (online @ www.mscs.dal.ca) ★★★ 💭

A Lambda Calculus with Naive Substitution (online @ www.cambridge.org) 💭

A Graph-like Lambda Calculus for which Leftmost-Outermost Reduction is Optimal ★ 💭

On the Relation between the λμ-Calculus and the Syntactic Theory of Sequential Control 💭

(in Computational Complexity) The Typed Lambda Calculus is not Elementary Recursive (online @ www.cs.cornell.edu) ★

(in Name Binding) Don’t Substitute Into Abstractions (Functional Pearl)

(in Partial Evaluation) A partial evaluator for the untyped lambda-calculus 🏛️

Books

The Calculi of Lambda-Conversion (online @ archive.org, archive.org) (borrow with print disabilities @ archive.org) 🏛️

Introduction to Combinators and the Lambda Calculus (borrow @ archive.org) 💭