Paige North

  1. Title:
    Topological models of dependent type theory
    Speaker:
    Paige North

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