HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Former CAS project leader awarded the Fridtjof Nansen Award for outstanding research 01/04/2019 -
Alumni Spotlight: Berit Stensønes about her role model Karen Uhlenbeck 27/03/2019 -
CAS 30 years on: Interview with Gudmund Hernes and Dagfinn Føllesdal 27/03/2019 -
The Ministry of Research and Higher Education honored Young CAS Fellows 19/03/2019 -
CAS names inaugural Young CAS Fellows 19/02/2019
