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 Event Series Postdoctoral talks - math Categories Mathematics Academic Video Homotopy type theory: working invariantly in homotopy theory Tags Postdoctoral Short Talks 2017-18
