Redirecting to External Site

You will now be redirected to https://video.ias.edu/1213/univalent/PeterLumsdaine-1206 to view video The Simplicial Model of Univalence .