Homotopy Type Theory Learning Seminar
Linde Hall 187
Forte Shinko,
Department of Mathematics,
Caltech,
For more information, please contact Math Department by phone at 626-395-3817 or by email at [email protected].