Timeline for What notions of universe does predicative type theory admit?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 24, 2010 at 8:42 | history | edited | Charles Stewart |
+tag
|
|
| Jan 11, 2010 at 13:28 | answer | added | François G. Dorais | timeline score: 4 | |
| Jan 11, 2010 at 10:54 | history | asked | Charles Stewart | CC BY-SA 2.5 |