Homotopy Type Theory Learning Seminar
Linde Hall 187
Justin Campbell,
Department of Mathematics,
Caltech,
For more information, please contact Math Dept. by phone at 626-395-4335 or by email at [email protected].
Event Sponsors