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