類型:
Science
/
Natural Sciences
主播:
The Type Theory Podcast
簡介
A podcast about type theory