Videos

Start date cannot be after end date.
Higher Inductive Types  Thumbnail

Higher Inductive Types

Presenter
  • Peter Lumsdaine
October 1, 2012
IAS
Basic tools for finite and infinite-dimensional systems, Lecture 1. Thumbnail

Basic tools for finite and infinite-dimensional systems, Lecture 1.

Presenter
  • Peter Bates
September 17, 2012
IMA
Basic tools for finite and infinite-dimensional systems, Lecture 2. Thumbnail

Basic tools for finite and infinite-dimensional systems, Lecture 2.

Presenter
  • Peter Bates
September 17, 2012
IMA