Talk page

Title:
Type theory and formalization of mathematics

Speaker:
Anders Mörtberg

Link:
https://www.ias.edu/video/shorttalks/2015/0928-AndersM%C3%B6rtberg