Timeline for Induction-recursion in models other than $\mathbf{Set}$
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2022 at 13:05 | answer | added | Andrej Bauer | timeline score: 0 | |
| Jan 24, 2022 at 18:00 | history | tweeted | twitter.com/StackCSTheory/status/1485673771050622976 | ||
| Jan 24, 2022 at 15:01 | answer | added | Neel Krishnaswami | timeline score: 3 | |
| Jan 24, 2022 at 12:50 | comment | added | daniel gratzer | @varkor I have added more precise references to the question. | |
| Jan 24, 2022 at 12:50 | history | edited | daniel gratzer | CC BY-SA 4.0 |
Sorta bibliography.
|
| Jan 24, 2022 at 12:44 | comment | added | varkor | Please can you include paper titles (and ideally also links) rather than just author names and years when referencing papers? | |
| Jan 24, 2022 at 12:29 | history | asked | daniel gratzer | CC BY-SA 4.0 |