Posted in
Speaker:
Vladimir Voevodsky
Affiliation:
IAS/MPIM
Date:
Fri, 12/02/2016 - 10:00 - 11:00
Location:
MPIM Lecture Hall
Parent event:
Workshop on Homotopy Type Theory | © MPI f. Mathematik, Bonn | Impressum & Datenschutz |
English
Deutsch