Timeline for combinator SSS(SS)SS is not strongly normalizing. Why?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 13, 2021 at 19:42 | comment | added | Trev | These are the same thing. $S(SS)SSSS \to SSS(SS)SS$ after its first S-combinator evaluation. | |
| Sep 29, 2015 at 19:18 | review | Late answers | |||
| Oct 1, 2015 at 1:01 | |||||
| Aug 20, 2014 at 11:30 | review | First posts | |||
| Aug 20, 2014 at 11:37 | |||||
| Aug 20, 2014 at 11:25 | history | answered | Godunov | CC BY-SA 3.0 |