Michael Warren

  1. Title:
    Directed Type Theory
    Speaker:
    Michael Warren

    Link:
    https://www.ias.edu/video/univalent/1213/0410-MichaelWarren