[TYPES] voevodsky lecture on type theory and homotopy theory

[Robert Harper]

Hello everyone,

The video of a lecture by Vladimir Voevodsky entitled "The Equivalence  
Axiom and Univalent Models of Type Theory" given at Carnegie Mellon on  
Feb 4 is available online at http://wms2.andrew.cmu.edu:81/nmvideo/SCS_lecture2b-4-10-hint.mov 
.

Some related notes and papers may be found on Vladimir's home page: http://www.math.ias.edu/~vladimir/Site3/home.html 
.

Bob Harper