Talk page

Title:
Working Group on Univalent Foundations

Speaker:
Michael Shulman

Link:
https://www.ias.edu/video/1213/members/1212-MichaelShulman