Lambda Calculus
(Up) | Wikipedia: Lambda calculus | See also: Name Binding, Logic, Type Theory, Functional Programming
Web resources
Is Lambda Calculus purely syntactic? ★
What are the axioms, inference rules, and (formal) semantics of lambda calculus? ★
What\'s the point of \$\eta\$-conversion in lambda calculus? ★
What\'s the definition of equational theory? Why is λ logic free? ★
Scott on the consistency of the lambda calculus ★
Lambda Terms
The largest number representable in 64 bits ★
What\'t the smallest lambda calculus term which is not known to have a normal form? ★
(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 ★★
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) 💭