Sergey Melikhov

  1. Title:
    On Finite Types That Are Not h-Sets
    Speaker:
    Sergey Melikhov

    Link:
    https://www.ias.edu/video/univalent/1213/0214-SergeyMelikhov