Printable PDF
Department of Mathematics,
University of California San Diego

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

Homotopy type theory Seminar

Michael Shulman

Higher inductive types

March 13, 2012

10:30 AM

AP&M 5402

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

9500 Gilman Drive, La Jolla, CA 92093-0112

(858) 534-3590