Computing with Univalence

Download Embed
Daniel Licata
Carnegie Mellon University; Member, School of Mathematics
September 28, 2012