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

    • Natural Sciences
    • 5.0, 4 Ratings

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

Customer Reviews

5.0 out of 5
4 Ratings

4 Ratings

Top Podcasts In Natural Sciences

Listeners Also Subscribed To