Iowa Type Theory Commute Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute. Language en-us Released Aug 23, 2020 Creator Aaron Stump Genre technology Popularity 4 Trending 1.3 Episodes 179 Update Freq Monthly Priority ★ Normal Bookmark Share: Episodes Similar Podcasts Latest Episodes Loading episodes... View All Episodes You Might Also Like Loading similar podcasts...
Discussion (0)