Homotopy Type Theory People (First 1 people) - Page 0

Emily Riehl

American mathematician