Computing with Univalence Date September 28, 2012 Affiliation Carnegie Mellon University; Member, School of Mathematics Speakers Daniel Licata School of Mathematics