Redirecting to External Site

You will now be redirected to https://video.ias.edu/shorttalks/2013/1004-PeterLumsdaine to view video Homotopy Type Theory: what can logic do for homotopy theory?.