Joachim Kock

  1. Title:
    Locally Cartesian Closed Infinity Categories
    Speaker:
    Joachim Kock

    Link:
    https://www.ias.edu/video/univalent/2013/0221-JoachimKock