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