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 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.1181653012.txt.gz Last modified: 2007-10-24 15:36(external edit)