Videos

Start date cannot be after end date.
Univalent foundations and the equivalence principle Thumbnail

Univalent foundations and the equivalence principle

Presenter
  • Benedikt Ahrens
September 21, 2015
IAS
Syntax and Semantics Thumbnail

Syntax and Semantics

Presenter
  • Benedikt Ahrens
September 25, 2012
IAS