Univalent Foundations Seminar
Eilenberg-Mac Lane Spaces in HoTT
Date & Time
March 13, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Daniel Licata, Institute for Advanced Study
Affiliation
Carnegie Mellon University; Member, School of Mathematics