Differences

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

Link to this comparison view

Both sides previous revision Previous revision
lambda_calculus [2007-10-24 15:36] – 192.168.1.36lambda_calculus [2007-12-19 04:05] (current) – 121.45.27.223
Line 9: 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     * "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.1193240209.txt.gz
  • Last modified: 2007-10-24 15:36
  • by 192.168.1.36