6 episodes

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

The Type Theory Podcast The Type Theory Podcast

    • Science

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

Top Podcasts In Science

Listeners Also Subscribed To