Show pageOld revisionsBacklinksBack to top You've loaded an old revision of the document! If you save it, you will create a new version with this data. Media Files ==== 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 lambda_calculus.1193240209.txt.gz Last modified: 2007-10-24 15:36by 192.168.1.36
192.168.1.36