Aaron Stump

Iowa Type Theory Commute

Iowa Type Theory Commute
184
Episodes
Technology, Science, Mathematics
Categories
English
Language
2026-04-20 15:00:00
Published

What's This Podcast
About?

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Podcast Urls

Type Link

Podcast

http://www.cs.uiowa.edu/~astump

Feed

https://rss.buzzsprout.com/728558.rss

Apple Podcasts

https://podcasts.apple.com/us/podcast/iowa-type-theory-commute/id1493036757?uo=4

Podcast Copyright

© 2025 Iowa Type Theory Commute

Start monitoring your podcast.

Sign up to track rankings and reviews from Spotify, Apple Podcasts and more.

Learn more Get started
Iowa Type Theory Commute
Aaron Stump
Aaron Stump