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

Repositories

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

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

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)