as discovered/formulated by Alonzo Church

• (http://www.cip.physik.uni-muenchen.de/~tf/lambda/aei/index.html
• A practical introduction to lambda reduction > http://ling.ucsd.edu/~barker/Lambda/

• “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

• 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