Printable PDF
Department of Mathematics,
University of California San Diego

****************************

Homotopy type theory Seminar

Michael Shulman

UCSD

Homotopy levels, equivalences, and univalence

February 14, 2012

9:30 AM

AP&M 5402

****************************