genre:
Science
/
Natural Sciences
host:
The Type Theory Podcast
website: https://typetheorypodca…
overview
A podcast about type theory