Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
lambda_calculus [2007-10-24 15:36] – 192.168.1.36 | lambda_calculus [2007-12-19 04:05] (current) – 121.45.27.223 | ||
---|---|---|---|
Line 9: | Line 9: | ||
* A practical introduction to lambda reduction > http:// | * A practical introduction to lambda reduction > http:// | ||
+ | ==== further ==== | ||
+ | * "To Dissect a Mockingbird: | ||
==== .. .and computation ==== | ==== .. .and computation ==== | ||
* http:// | * http:// | ||
* "the 210 bit binary lambda calculus self-interpreter, | * "the 210 bit binary lambda calculus self-interpreter, |