Seminar series Homotopy Type Theory Seminar Date Wed, 19 Feb 2020 Time 10:00 - 12:00 Location L4 Speaker Jack Kelly