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

Introducing the Young CAS Fellow programme 14/12/2018
Alumni Spotlight: Terje Tvedt 10/12/2018
Book release: 'Domestication Gone Wild: Politics and Practices of Multispecies Relations' 27/11/2018
Former CAS fellow awarded Tromsø Research Foundation Starting Grant 16/11/2018
Alumni Spotlight: Jakob Lothe 01/11/2018

Drammensveien 78

0271 Oslo

Norway

+47 22 12 25 00

cas@cas.oslo.no

Follow us