Erik Palmgren

  1. Title:
    On the Setoid Model of Type Theory
    Speaker:
    Erik Palmgren

    Link:
    https://www.ias.edu/video/1213/univalent/1018-ErikPalmgren