Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| lambda_calculus [2007-06-12 12:56] – external edit 127.0.0.1 | lambda_calculus [2007-12-19 04:05] (current) – 121.45.27.223 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| | | ||
| - | |||
| - | |||
| ==== lambda -> λ ==== | ==== lambda -> λ ==== | ||
| - | |||
| as discovered/ | as discovered/ | ||
| - | |||
| Line 13: | 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:// | ||
| - | | + | |