VideoArxiv
Home
Workshops
Speakers
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