All content for The Type Theory Podcast is the property of The Type Theory Podcast and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.