notre_dame_de_la_garde.jpeg

Extending Homotopy Type Theory with Strict Equality

  • Thorsten Altenkirch
  • Paolo Capriotti
  • Nicolai Kraus

Schedule

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

Attachments