Short Talks by Postdoctoral Members
Homotopy type theory: working invariantly in homotopy theory
Date & Time
September 26, 2017 | 2:30pm – 2:45pm
Speakers
Guillaume Brunerie, Institute for Advanced Study
Affiliation
Member, School of Mathematics