Thorsten Altenkirch

  1. Title:
    Why does Homotopy Type Theory matter?
    Speaker:
    Thorsten Altenkirch

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

  2. Title:
    Homotopy and Univalence
    Speaker:
    Thorsten Altenkirch

    Link:
    https://www.ias.edu/video/1213/univalent/0123-ThorstenAltenkirch