Printable PDF
Department of Mathematics,
Department of Mathematics,
University of California San Diego
****************************
Homotopy type theory Seminar
Michael Shulman
Homotopy levels, equivalences, and univalence
February 21, 2012
9:30 AM
AP&M 5402
****************************
