Timeline for The role of univalence in the homotopy interpretation of type theory
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 8, 2017 at 6:22 | history | edited | YCor |
edited tags
|
|
| Sep 7, 2017 at 18:34 | vote | accept | coconut | ||
| Sep 7, 2017 at 18:14 | answer | added | Peter LeFanu Lumsdaine | timeline score: 18 | |
| Sep 7, 2017 at 17:40 | review | First posts | |||
| Sep 7, 2017 at 18:50 | |||||
| Sep 7, 2017 at 17:35 | history | asked | coconut | CC BY-SA 3.0 |