6 Folgen

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

The Type Theory Podcast The Type Theory Podcast

    • Naturwissenschaften

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

Top‑Podcasts in Naturwissenschaften

Zuhörer haben auch Folgendes abonniert: