Videos

Start date cannot be after end date.
Univalent Foundations Seminar Thumbnail

Univalent Foundations Seminar

Presenter
  • Peter Lumsdaine
November 8, 2012
IAS
Kan Simplicial Set Model of Type Theory  Thumbnail

Kan Simplicial Set Model of Type Theory

Presenter
  • Peter LeFanu
October 25, 2012
IAS
Higher Inductive Types  Thumbnail

Higher Inductive Types

Presenter
  • Peter Lumsdaine
October 1, 2012
IAS