The Type Theory Podcast

by The Type Theory Podcast

We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.