Timeline for Selection terms in the untyped lambda calculus
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17, 2023 at 7:00 | history | edited | Damiano Mazza | CC BY-SA 4.0 |
added 7 characters in body
|
| Nov 16, 2023 at 14:34 | comment | added | provocateur | Very nice, thank you. This is a nice practical introduction to the Genericity Lemma, which I did not know. | |
| Nov 16, 2023 at 13:12 | vote | accept | provocateur | ||
| Nov 16, 2023 at 12:07 | history | edited | Damiano Mazza | CC BY-SA 4.0 |
deleted 8 characters in body
|
| Nov 16, 2023 at 9:41 | history | edited | Damiano Mazza | CC BY-SA 4.0 |
added 19 characters in body
|
| Nov 16, 2023 at 9:34 | history | answered | Damiano Mazza | CC BY-SA 4.0 |