Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious 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, | ||