Mathematics
and Interactions

Keywords > curriculum learning

• Videos linked to curriculum learning
  

  51:02

  published on May 13, 2022

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

  By David McAllester

  More +