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

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

9500 Gilman Drive, La Jolla, CA 92093-0112

(858) 534-3590