Printable PDF
Department of Mathematics,
Department of Mathematics,
University of California San Diego
****************************
Homotopy type theory Seminar
Michael Shulman
UCSD
Inductive types and equality types
February 7, 2012
9:30 AM
AP&M 5402
****************************
