chateau_d_if.jpeg

A homotopy-theoretic model of function extensionality in the effective topos

  • Daniil Frumin
  • Benno van den Berg

Schedule

  • Sept. 2, 2016, 10:30 - 11:00

Attachments