Timeline for Lambda Calculus inductive substitution definition
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 29, 2016 at 12:32 | history | edited | chi | CC BY-SA 3.0 | added 2 characters in body |
| Apr 29, 2016 at 12:25 | history | undeleted | chi | ||
| Apr 29, 2016 at 12:25 | history | edited | chi | CC BY-SA 3.0 | added 278 characters in body |
| Apr 29, 2016 at 9:56 | history | deleted | chi | via Vote | |
| Apr 29, 2016 at 9:49 | history | edited | chi | CC BY-SA 3.0 | added 343 characters in body |
| Apr 29, 2016 at 9:42 | history | answered | chi | CC BY-SA 3.0 |