1. # vimeo.com/330992581 Uploaded 544 Views 0 Comments
  2. # vimeo.com/332004992 Uploaded 198 Views 0 Comments
  3. # vimeo.com/334915245 Uploaded 167 Views 0 Comments
  4. # vimeo.com/336117432 Uploaded 87 Views 0 Comments
  5. # vimeo.com/337960032 Uploaded 85 Views 0 Comments

HoTT-2019

Andrej Bauer Plus

Video recordings of doctoral lectures on homotopy type theory, Spring 2019, Faculty of Mathematics and Physics, University of Ljubljana. See github.com/andrejbauer/homotopy-type-theory-course for course materials.

Browse This Channel

Shout Box

Heads up: the shoutbox will be retiring soon. It’s tired of working, and can’t wait to relax. You can still send a message to the channel owner, though!

Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels.