Differences
This shows you the differences between two versions of the page.
Last revisionBoth sides next revision | |||
lambda_calculus [2007-06-12 12:56] – external edit 127.0.0.1 | lambda_calculus [2007-10-24 15:36] – 192.168.1.36 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | |||
- | |||
==== lambda -> λ ==== | ==== lambda -> λ ==== | ||
- | |||
as discovered/ | as discovered/ | ||
- | |||
Line 12: | Line 8: | ||
* (http:// | * (http:// | ||
* A practical introduction to lambda reduction > http:// | * A practical introduction to lambda reduction > http:// | ||
- | |||
- | |||
==== .. .and computation ==== | ==== .. .and computation ==== | ||
* http:// | * http:// | ||
- | | + | |