Talk page

Title:
Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)

Speaker:
David Mcallester

Link:
https://www.youtube.com/watch?v=qHTqj_7QHzA