Differences

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

Link to this comparison view

Next revision
Previous revision
lambda_calculus [2007-06-12 12:56] – external edit 127.0.0.1lambda_calculus [2007-12-19 04:05] (current) 121.45.27.223
Line 1: Line 1:
  
- 
- 
 ==== lambda -> λ ==== ==== lambda -> λ ====
- 
  
 as discovered/formulated by [[Alonzo Church]] as discovered/formulated by [[Alonzo Church]]
- 
  
  
Line 13: Line 9:
   * A practical introduction to lambda reduction > http://ling.ucsd.edu/~barker/Lambda/   * A practical introduction to lambda reduction > http://ling.ucsd.edu/~barker/Lambda/
  
- +==== further ==== 
 +  * "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
  
 ==== .. .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