Timeline for What is some good introduction to lambda calculus?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 30, 2015 at 0:52 | comment | added | Blaisorblade | I suspect it'd help to distinguish typed and untyped lambda calculus, since they're quite different subjects. | |
| Oct 21, 2011 at 0:25 | answer | added | Justin Hilburn | timeline score: 1 | |
| Oct 20, 2011 at 20:32 | answer | added | Pierre Lescanne | timeline score: 4 | |
| Jul 7, 2011 at 12:13 | history | edited | agt |
edited tags
|
|
| Jul 7, 2011 at 9:30 | answer | added | Dominic Mulligan | timeline score: 4 | |
| Jul 2, 2011 at 19:49 | answer | added | David White | timeline score: 2 | |
| Jul 2, 2011 at 19:48 | history | edited | David White |
edited tags
|
|
| Jul 2, 2011 at 19:32 | answer | added | Antonio E. Porreca | timeline score: 4 | |
| Jul 2, 2011 at 17:24 | vote | accept | user16132 | ||
| Jul 2, 2011 at 16:47 | answer | added | Igor Rivin | timeline score: 1 | |
| Jul 2, 2011 at 16:29 | answer | added | Todd Trimble | timeline score: 7 | |
| Jul 2, 2011 at 16:04 | history | asked | user16132 | CC BY-SA 3.0 |