Talk page

Title:
Univalent Foundations Seminar

Speaker:
Peter Lumsdaine

Link:
https://www.ias.edu/video/univalent/lumsdaine2012Nov08