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 Mär 2022

15:00 - 16:00
Jonathan Weinberger

Mon, 21 Mär 2022

15:00 - 16:00
Léonard Guetta

Mon, 28 Mär 2022

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