Kyle Miller

  1. Title:
    Forgetful Inheritance, Hom-Like and Set-Like
    Speaker:
    Kyle Miller

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33477

  2. Title:
    From Lean to Informal Mathematics
    Speaker:
    Kyle Miller

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33480

  3. Title:
    Finiteness and Graph Theory
    Speaker:
    Kyle Miller

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33445