Peter Lumsdaine

  1. Title:
    Homotopy Type Theory: what can logic do for homotopy theory?
    Speaker:
    Peter Lumsdaine

    Link:
    https://www.ias.edu/video/shorttalks/2013/1004-PeterLumsdaine

  2. Title:
    The Hopf Fibration via Higher Inductive Types
    Speaker:
    Peter Lumsdaine

    Link:
    https://www.ias.edu/video/univalent/1213/0213-PeterLumsdaine

  3. Title:
    Simplicial Types
    Speaker:
    Peter Lumsdaine

    Link:
    https://www.ias.edu/video/1213/univalent/0116-PeterLumsdaine

  4. Title:
    The Simplicial Model of Univalence
    Speaker:
    Peter Lumsdaine

    Link:
    https://www.ias.edu/video/1213/univalent/PeterLumsdaine-1206

  5. Title:
    Univalent Foundations Seminar
    Speaker:
    Peter Lumsdaine

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

  6. Title:
    Higher Inductive Types
    Speaker:
    Peter Lumsdaine

    Link:
    https://www.ias.edu/video/math/stpm2012/lumsdaine