"Homotopy Group"- Dan Licata

  1. Title:
    Homotopy Theory in Type Theory
    Speaker:
    "Homotopy Group"- Dan Licata

    Link:
    https://www.ias.edu/video/univalent/1213/0411-HomotopyGroup