Part 1) Type Theory and Practical Foundations, Part 2) Homotopy Type Theory
Speaker:
Jeremy Avigad, Carnegie Mellon University
Date and Time:
Wednesday, February 3, 2016 - 1:15pm to 2:45pm
Location:
Fields Institute, Room 230
