The Type Theory Podcast (2016) #1 Post by anqurvanillapy » Fri, Sep 06, 2019, 7:33 AM UTC The Type Theory Podcast (2016)typetheorypodcast.com