Shuffle for fans

Iowa Type Theory Commute

Technology • Science

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

Popular episodes

Check out similar podcasts

What Fuels You
Fuel Talent
5 Live Science Podcast
BBC Radio 5 live
The Ticket Top 10
Cumulus Media Dallas
TwitterBlogCareersPress KitCommunity GuidelinesTerms of ServicePrivacy Policy
© 2021 Akora Labs, Inc.