Centre for Advanced Study

at the Norwegian Academy of Science and Letters

HoTT-UF

Homotopy Type Theory and Univalent Foundations

Print
Email page

Tell a friend about this site

Your e-mail Your friend's e-mail Comment

x

Latest news

Alumni Spotlight: Karine Nyborg 25/06/2020
Alumni Spotlight: Olav Gjelsvik 05/06/2020
Alumni Spotlight: Andreas Føllesdal and Geir Ulfstein 30/04/2020
CAS Fellow awarded the Dobzhansky Prize: ´I am absolutely thrilled´ 24/04/2020
´The essence of why we need research and innovation´ 18/04/2020

Drammensveien 78

0271 Oslo

Norway

+47 22 12 25 00

cas@cas.oslo.no

Follow us