Timeline for Can alg be used for the formal semantics of a language?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 16, 2023 at 12:35 | comment | added | Julius Hamilton | I have no idea, let me know what you think please. I think I should just study Knuth’s chapters on induction since that is I think what I am obsessed with. math.stackexchange.com/questions/1601798/… | |
| Jun 16, 2023 at 12:08 | vote | accept | Julius Hamilton | ||
| Jun 10, 2023 at 9:24 | answer | added | Andrej Bauer | timeline score: 3 | |
| Jun 10, 2023 at 3:26 | comment | added | Trebor♦ | Does "possible expressions" count as models? | |
| S Jun 9, 2023 at 23:17 | review | First questions | |||
| Jun 10, 2023 at 12:47 | |||||
| S Jun 9, 2023 at 23:17 | history | asked | Julius Hamilton | CC BY-SA 4.0 |