Meet the Project: 'Homotopy Type Theory and Univalent Foundations'
The 2018/19 CAS project in the natural sciences aims to push a new mathematical theory forward.
Here, we publish articles about the Centre and its activities, and interviews with our scholars about their time at CAS and the progress and results of their research.
You can also sign up for our monthly newsletter >