Timeline for Theory mainly concerned with $\lambda$-calculus?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 15, 2010 at 20:26 | history | edited | Charles Stewart | CC BY-SA 2.5 |
s/Cartesian computation calculus/Cartesian function-calculus/, &c
|
| Jan 15, 2010 at 13:28 | history | answered | Charles Stewart | CC BY-SA 2.5 |