Videos

Start date cannot be after end date.
Homotopy Type Theory: what can logic do for homotopy theory? Thumbnail

Homotopy Type Theory: what can logic do for homotopy theory?

Presenter
  • Peter Lumsdaine
October 4, 2013
IAS
Simplicial Types Thumbnail

Simplicial Types

Presenter
  • Peter Lumsdaine
January 16, 2013
IAS
The Simplicial Model of Univalence Thumbnail

The Simplicial Model of Univalence

Presenter
  • Peter Lumsdaine
December 6, 2012
IAS
Univalent Foundations Seminar Thumbnail

Univalent Foundations Seminar

Presenter
  • Peter Lumsdaine
November 8, 2012
IAS
Higher Inductive Types Thumbnail

Higher Inductive Types

Presenter
  • Peter Lumsdaine
October 1, 2012
IAS