Talk page

Title:
Higher Inductive Types

Speaker:
Peter Lumsdaine

Link:
https://www.ias.edu/video/math/stpm2012/lumsdaine