Håkon Robbestad Gylterud

  1. Title:
    Constructive set theory in Homotopy Type Theory
    Speaker:
    Håkon Robbestad Gylterud

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