Talk page

Title:
On the Setoid Model of Type Theory

Speaker:
Erik Palmgren

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