Mathematics
and Interactions
-
Videos linked to Foundations of mathematicsMore +
![Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence]()
51:02published on May 13, 2022Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence
By David McAllester
