calanques_sugiton.jpeg

Axioms for Modelling Cubical Type Theory in a Topos

  • Ian Orton
  • Andrew Pitts

Schedule

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

Attachments