Timeline for Theory mainly concerned with $\lambda$-calculus?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 15, 2010 at 20:57 | comment | added | Adam | No problem. I've been using lambda calculus in various forms for twelve years now and it wasn't until recently that I felt I really understood the connection to combinators. | |
| Jan 15, 2010 at 16:11 | vote | accept | Hans-Peter Stricker | ||
| Jan 15, 2010 at 16:10 | comment | added | Hans-Peter Stricker | I should have known this, since I'm a long-time fan of Raymond Smullyan. How could I have overseen this! Thanks. (To say the least: it's an established name.) | |
| Jan 15, 2010 at 16:02 | history | answered | Adam | CC BY-SA 2.5 |