Project Update: 'Homotopy Type Theory and Univalent Foundations'
CAS fellows discuss their work with advancing the new mathematical theory.
News
Here, we publish articles about the Centre and its activities, as well as interviews with our scholars about their time at CAS and the progress and results of their research.
Year & Month