The Type Theory Podcast

The Type Theory Podcast

Logo for The Type Theory Podcast

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

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

Publisher Website | On Android | On iTunes | Feed XML

Related: natural-sciences science-medicine

Share: Share on Facebook Share on Twitter Share on Google Plus