chateau_d_if.jpeg

Guarded Cubical Type Theory: Path Equality for Guarded Recursion

  • Lars Birkedal
  • AleŇ° Bizjak
  • Ranald Clouston
  • Hans Bugge Grathwohl
  • Bas Spitters
  • Andrea Vezzosi

Schedule

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

Attachments