Anders Mörtberg

  1. Title:
    Cubical Type Theory: a constructive interpretation of the univalence axiom
    Speaker:
    Anders Mörtberg

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

  2. Title:
    Type theory and formalization of mathematics
    Speaker:
    Anders Mörtberg

    Link:
    https://www.ias.edu/video/shorttalks/2015/0928-AndersM%C3%B6rtberg