Timeline for Intuition behind Kleene's “second algebra” $\mathcal{K}_2$
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4 at 20:57 | answer | added | Gro-Tsen | timeline score: 2 | |
| Dec 22, 2023 at 20:19 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 4.0 |
mathjax
|
| Dec 22, 2023 at 19:50 | answer | added | Christopher King | timeline score: 2 | |
| Jun 16, 2023 at 13:45 | comment | added | Gro-Tsen | A fairly paedagogical explanation is found in Andrej Bauer's notes on realizability, in the chapter titled “models of computation”, esp. the subsection “type-2 machines”. | |
| Jan 29, 2023 at 23:41 | vote | accept | Gro-Tsen | ||
| Jan 21, 2023 at 17:05 | answer | added | aws | timeline score: 7 | |
| Jan 21, 2023 at 11:00 | history | asked | Gro-Tsen | CC BY-SA 4.0 |