Caltech Logo

Homotopy Type Theory Learning Seminar

Wednesday, May 1, 2019
4:00pm to 5:00pm
Add to Cal
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 mathinfo@caltech.edu.