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:// | ||
- | | + | |