Catherine Lelay

  1. Title:
    Toward a new formalization of real numbers
    Speaker:
    Catherine Lelay

    Link:
    https://www.ias.edu/video/shorttalks/2015/0924-Catherine%20Lelay