Printable PDF
Department of Mathematics,
Department of Mathematics,
University of California San Diego
****************************
Homotopy type theory Seminar
Michael Shulman
UCSD
Basics of type theory and Coq
January 31, 2012
9:30 AM
AP&M 5402
****************************
