stuhlmueller + lambda-calculus 2
History of Lambda Calculus and Combinatory Logic (pdf)
june 2008 by stuhlmueller
The inception and development of lambda calculus and combinatorics from their genesis in the 1920s through the entire 20th century.
history
compsci
lambda-calculus
june 2008 by stuhlmueller
Alligator Eggs!
may 2007 by stuhlmueller
A sneaky way to introduce the Lambda Calculus. Guess I need kids.
lambda-calculus
compsci
functional
programming
may 2007 by stuhlmueller