David Mcallester

  1. Title:
    MathZero, The Classification Problem, and Set-Theoretic Type Theory

    Speaker:

    Link:

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

    Speaker:

    Link: