Vladimir Voevodsky

  1. Title:
    The meta-theory of dependent type theories
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/membsem/2017/0227-VladimirVoevodsky

  2. Title:
    Univalent Foundations: New Foundations of Mathematics
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/voevodsky14

  3. Title:
    Type Systems
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/1212/univalient/VladimirVoevodsky-1205

  4. Title:
    Type Systems
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/univalent/voevodsky2012Nov28

  5. Title:
    Type Systems
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/univalent/voevodsky2012Nov21

  6. Title:
    Type Systems and Proof Assistant
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/univalent/voevodsky2012Oct10

  7. Title:
    Type Systems
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/univalent/voevodsky2012Oct03

  8. Title:
    Overview of Univalent Foundations
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/univalent/voevodsky2012Sep27

  9. Title:
    Computer Science and Homotopy Theory
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/conversations/voevodsky

  10. Title:
    Univalent Foundations of Mathematics
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/univalent/voevodsky

  11. Title:
    What if Current Foundations of Mathematics are Inconsistent?
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/voevodsky-80th

  12. Title:
    Foundations of Mathematics and Homotopy Theory
    Speaker:
    Vladimir Voevodsky

    Link:
    https://www.ias.edu/video/foundations-mathematics-and-homotopy-theory