HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
CAS strengthens concluded projects 28/05/2019 -
‘The academics´ lack of engagement led to policy take-over of ethics debate’ 30/04/2019 -
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
