Aaron Stump
Iowa Type Theory Commute
Categories
Technology, Science, Mathematics
Number of episodes
178
Published on
2025-08-22 22:00:00
Language
English
Categories
Technology, Science, Mathematics
Number of episodes
178
Published on
2025-08-22 22:00:00
Language
English
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
© 2025 Iowa Type Theory Commute
Sign up to track rankings and reviews from Spotify, Apple Podcasts and more.