Timeline for What is lambda calculus related to?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 18, 2009 at 5:22 | comment | added | Marcus Booster | That was an interesting link, it also brought me to Combinatory logic which is the kind of terms I was looking for. | |
| Oct 18, 2009 at 4:15 | history | answered | John Goodrick | CC BY-SA 2.5 |