Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Last revisionBoth sides next revision
lambda_calculus [2007-06-12 12:56] – external edit 127.0.0.1lambda_calculus [2007-10-24 15:36] – 192.168.1.36
Line 1: Line 1:
  
- 
- 
 ==== lambda -> λ ==== ==== lambda -> λ ====
- 
  
 as discovered/formulated by [[Alonzo Church]] as discovered/formulated by [[Alonzo Church]]
- 
  
  
Line 12: Line 8:
   * (http://www.cip.physik.uni-muenchen.de/~tf/lambda/aei/index.html   * (http://www.cip.physik.uni-muenchen.de/~tf/lambda/aei/index.html
   * A practical introduction to lambda reduction > http://ling.ucsd.edu/~barker/Lambda/   * A practical introduction to lambda reduction > http://ling.ucsd.edu/~barker/Lambda/
- 
- 
  
  
 ==== .. .and computation ==== ==== .. .and computation ====
   * http://okmij.org/ftp/Computation/lambda-calc.html   * 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  
  • lambda_calculus.txt
  • Last modified: 2007-12-19 04:05
  • by 121.45.27.223