Timeline for Is combinatory strong reduction equivalent to lambda beta-eta reduction?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 28, 2015 at 11:57 | answer | added | William Stirton | timeline score: 6 | |
| Nov 2, 2013 at 9:48 | history | tweeted | twitter.com/#!/StackCSTheory/status/396574640967282688 | ||
| Oct 27, 2013 at 18:20 | review | First posts | |||
| Nov 7, 2013 at 5:24 | |||||
| Oct 27, 2013 at 18:01 | history | asked | Martha S. | CC BY-SA 3.0 |