Table of Contents
lambda -> λ
intro/tutorials/exercises
further
.. .and computation
lambda -> λ
as discovered/formulated by
Alonzo Church
intro/tutorials/exercises
(
http://www.cip.physik.uni-muenchen.de/~tf/lambda/aei/index.html
A practical introduction to lambda reduction >
http://ling.ucsd.edu/~barker/Lambda/
further
“To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction” (also
infoviz
) >
http://users.bigpond.net.au/d.keenan/Lambda/index.htm
.. .and computation
http://okmij.org/ftp/Computation/lambda-calc.html
“the 210 bit binary lambda calculus self-interpreter, and on the right the 272 bit binary combinatory logic self-interpreter” >
http://homepages.cwi.nl/~tromp/cl/cl.html