Skip to main content

Program of Miniseries "An introduction to homotopy type theory and univalent foundations"

For the abstracts click on the titles or see the list of abstracts.

Mon, 14 Mar 2022

15:00 - 16:00
Jonathan Weinberger

Mon, 21 Mar 2022

15:00 - 16:00
Léonard Guetta

Mon, 28 Mar 2022

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A