Type theory Podcasts

Iowa Type Theory Commute

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

Technology Science Mathematics programming languages computational logic type theory proof assistants cedille

Type Theory Forall

40 episodes - Latest episode: about 2 months ago - ★★★★★ - 5 ratings
An accessible podcast about Type Theory, Programming Languages Research and related topics.

Technology Science type theory programming languages academia