Timeline for Scott on the consistency of the lambda calculus
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2017 at 18:03 | answer | added | kirelagin | timeline score: 6 | |
| Apr 6, 2010 at 12:36 | vote | accept | Charles Stewart | ||
| Mar 1, 2010 at 12:43 | answer | added | Andrej Bauer | timeline score: 19 | |
| Mar 1, 2010 at 11:33 | history | asked | Charles Stewart | CC BY-SA 2.5 |