Skip to main content

Homotopy theory of type theories

Posted in
Speaker: 
Peter Lumsdaine
Date: 
Thu, 2016-02-11 16:30 - 18:00
Location: 
MPIM Lecture Hall
© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A