chateau_d_if.jpeg

Truncation Levels in Homotopy Type Theory

Schedule

  • Aug. 31, 2016, 14:00 - 15:00(Ackermann Award session)

Attachments