Videos

Start date cannot be after end date.
Invariant homotopy theory in the univalent foundations Thumbnail

Invariant homotopy theory in the univalent foundations

Presenter
  • Guillaume Brunerie
September 28, 2016
IAS