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: Frode Kjosavik 03/12/2019
Institutionalising interdisciplinary collaboration: China-Norway research centre opens 27/11/2019
Female orgasm: an evolutionary emancipation of women’s sexuality? 13/11/2019
Alumni Spotlight: Helle Vogt 07/11/2019
Humanities + medicine = ❤︎ 30/10/2019

Drammensveien 78

0271 Oslo

Norway

+47 22 12 25 00

cas@cas.oslo.no

Follow us