Talk page

Title:
Natural Models of Type Theory

Speaker:
Steve Awodey

Link:
https://www.ias.edu/video/univalent/1213/0328-SteveAwodey