Toward a Computational Interpretation of Univalence

Download Embed
Daniel Licata
Carnegie Mellon University; Member, School of Mathematics
October 18, 2012