Toward a Computational Interpretation of Univalence Date October 18, 2012 Speakers Daniel Licata Affiliation Carnegie Mellon University; Member, School of Mathematics School of Mathematics Univalent