genre:
Science
/
Natural Sciences
vært:
The Type Theory Podcast
websted: https://typetheorypodca…
overblik
A podcast about type theory