Timeline for Is combinatory strong reduction equivalent to lambda beta-eta reduction?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 28, 2015 at 12:16 | review | Late answers | |||
| Sep 1, 2015 at 19:36 | |||||
| Aug 28, 2015 at 12:00 | review | First posts | |||
| Sep 3, 2015 at 13:43 | |||||
| Aug 28, 2015 at 11:57 | history | answered | William Stirton | CC BY-SA 3.0 |