HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Alumni Spotlight: Dag Michalsen 04.05.2021 09:08 -
Celebrating the Young CAS Fellows for 2021-23 27.04.2021 09:07 -
Alumni Spotlight: Sine Halkjelsvik Bjordal 08.04.2021 13:30 -
Meet the Young CAS Fellows for 2021-23: Daniele Miano 24.03.2021 09:34 -
Meet the Young CAS Fellows for 2021-23: Helen F. Leslie-Jacobsen 11.03.2021 11:00
