git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Lambda Calculus
master

Tree @master (Download .tar.gz)

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 ★★

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) 🏛️ 💭

History of by-topic / Lambda Calculus @master git clone https://git.catseye.tc/The-Glosscubator/