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