Mathematics
and Interactions

Keywords > Foundations of mathematics

• Videos linked to Foundations of mathematics
  

  51:02

  published on May 13, 2022

  Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence

  By David McAllester

  More +