Homotopy Type Theory Learning Seminar
Linde Hall 187
Tamir Hemo,
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