skip to main content
Caltech

Homotopy Type Theory Learning Seminar

Wednesday, May 15, 2019
4:00pm to 5:00pm
Add to Cal
Linde Hall 183
Aristotelis Panagiotopoulos, Department of Mathematics, Caltech,
For more information, please contact Math Dept. by phone at 626-395-4335 or by email at [email protected].