6 episódios

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

The Type Theory Podcast The Type Theory Podcast

    • Ciências naturais

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

Top podcasts em Ciências naturais

Ouvintes também assinaram