![Iowa Type Theory Commute](/img/empty.gif)
Iowa Type Theory Commute
Aaron StumpAaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
- No. of episodes: 171
- Latest episode: 2025-01-31
- Technology Science Mathematics
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.