Peter LeFanu Lumsdaine

  1. Title:
    Mini-course: Homotopy-theoretic models of type theory
    Speaker:
    Peter LeFanu Lumsdaine

    Link:
    https://video-archive.fields.utoronto.ca/view/5057

  2. Title:
    Mini-course: Homotopy-theoretic models of type theory
    Speaker:
    Peter LeFanu Lumsdaine

    Link:
    https://video-archive.fields.utoronto.ca/view/5045

  3. Title:
    A Quillen Model Structure in Type Theory
    Speaker:
    Peter LeFanu Lumsdaine

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

  4. Title:
    Kan Simplicial Set Model of Type Theory
    Speaker:
    Peter LeFanu Lumsdaine

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