Videos

Start date cannot be after end date.
On Voevodsky's univalence principle Thumbnail

On Voevodsky's univalence principle

Presenter
  • AndrĂ© Joyal
September 11, 2018
IAS
Cohomology in Homotopy Type Theory Thumbnail

Cohomology in Homotopy Type Theory

Presenter
  • Eric Finster
March 6, 2013
IAS
Higher Dimensional Syntax Thumbnail

Higher Dimensional Syntax

Presenter
  • Eric Finster
September 27, 2012
IAS