Eilenberg-Mac Lane Spaces in HoTT Date March 13, 2013 Affiliation Carnegie Mellon University; Member, School of Mathematics Speakers Daniel Licata School of Mathematics Univalent