Printable PDF
Department of Mathematics,
University of California San Diego

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

Homotopy type theory Seminar

Michael Shulman

Categorical models of type theory

February 28, 2012

9:30 AM

AP&M 5402

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

9500 Gilman Drive, La Jolla, CA 92093-0112

(858) 534-3590