Computational logic Podcasts

Iowa Type Theory Commute

169 episodes - Latest episode: about 1 month ago - ★★★★★ - 13 ratings
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.