Univalent Foundations Seminar
pi_2(s^2) in HoTT
Date & Time
February 20, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Guillaume Brunerie, Institute for Advanced Study
Affiliation
School of Mathematics, IAS