Timeline for Lambda calculus without free variables is as strong as lambda calculus?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31, 2020 at 8:19 | history | edited | chi | CC BY-SA 4.0 |
deleted 7 characters in body
|
| S May 31, 2020 at 8:18 | history | suggested | Борат Сагдиев | CC BY-SA 4.0 |
fixed typo, grammar
|
| May 31, 2020 at 4:55 | review | Suggested edits | |||
| S May 31, 2020 at 8:18 | |||||
| May 31, 2020 at 4:53 | vote | accept | Борат Сагдиев | ||
| May 30, 2020 at 15:58 | history | edited | chi | CC BY-SA 4.0 |
added 341 characters in body
|
| May 30, 2020 at 15:53 | history | answered | chi | CC BY-SA 4.0 |