Timeline for Are two $\alpha$-equivalent terms syntatically identical? (metalanguage)
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 28 at 10:20 | history | edited | Tankut Beygu | CC BY-SA 4.0 | added 178 characters in body |
| May 28 at 10:10 | history | answered | Tankut Beygu | CC BY-SA 4.0 |