Timeline for Is this definition of $\alpha$-equivalence correct?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 9, 2021 at 15:04 | vote | accept | Kijeong Lim | ||
| Apr 30, 2021 at 19:45 | review | First posts | |||
| May 4, 2021 at 6:49 | |||||
| Apr 30, 2021 at 19:43 | history | answered | Clare Jang | CC BY-SA 4.0 |