The Lambda Calculus
as math
the book
Googling the book
Combinators
Converting λ expressions to Combinators
to program computers
Syntax
Simple
Convenient
the engine
Soft Stack & Garbage collection
Semantics
Primal Environ
Output—the P hack
The code itself
Mcode
elementary tests
some λ code
Steps towards ordinary code
Y-combinator as SKI-Combinator
About some of my early λ code
Arranging access of modules to modules
A function suite for lists
In extant languages
What I have learned
security note
λ Calculus via Scheme
External: Graphical λ