Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Also Available on
Share & Embed
Available episodes
160
Typical release rate
± 16 days
Latest episode
3 years ago
September 25, 2023
Podcast Privacy Information
Buzzsprout
Stats
Stats: This service collects and aggregates basic information about its listenership, like total download numbers and downloads by date or region.
All content for Iowa Type Theory Commute is the property of Aaron Stump and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podbay in any way.