Posted in
Speaker:
Peter Lumsdaine
Date:
Thu, 11/02/2016 - 16:30 - 18:00
Location:
MPIM Lecture Hall
Parent event:
Workshop on Homotopy Type Theory © MPI f. Mathematik, Bonn | Impressum & Datenschutz |