You've loaded an old revision of the document! If you save it, you will create a new version with this data.

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

Please fill all the letters into the box to prove you're human. Please keep this field empty:

SavePreviewCancel

Edit summary

Note: By editing this page you agree to license your content under the following license: CC Attribution-Share Alike 4.0 International