Computing with Univalence

Date

Affiliation

Carnegie Mellon University; Member, School of Mathematics

Speakers

Daniel Licata