Dan Licata

  1. Title:
    Mini-course: Cubical Type Theory
    Speaker:
    Dan Licata

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

  2. Title:
    Mini-course: Cubical Type Theory
    Speaker:
    Dan Licata

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

  3. Title:
    Univalence from a computer science point-of-view
    Speaker:
    Dan Licata

    Link:
    https://www.ias.edu/video/VoevodskyMemConf-2018/0914-DanLicata