Awesome Type Theory Talks

A curated list of amazing Type Theory related conference talks.