Steve Awodey

  1. Title:
    Natural Models of Type Theory
    Speaker:
    Steve Awodey

    Link:
    https://www.ias.edu/video/univalent/1213/0328-SteveAwodey

  2. Title:
    Univalent Foundations Seminar
    Speaker:
    Steve Awodey

    Link:
    https://www.ias.edu/video/members/awodey

  3. Title:
    Constructive Type Theory and Homotopy
    Speaker:
    Steve Awodey

    Link:
    https://www.ias.edu/video/univalent/awodey