calanques_sugiton.jpeg

The Seifert-van Kampen Theorem in Homotopy Type Theory

  • Kuen-Bang Hou (Favonia)
  • Michael Shulman

Schedule

  • Aug. 30, 2016, 14:00 - 16:00(Homotopy type theory session)

Attachments