Podder Search
Stats
Sign in
Sign up
Iowa Type Theory Commute by Aaron Stump · Podder Search
Iowa Type Theory Commute
by
Aaron Stump
Active
🇬🇧
en
·
187 episodes
technology
science
mathematics
Sign up to save this podcast
Listener stats
Estimated listeners
🔒
Pro
About
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Listen on
▶
Apple Podcasts
▶
Overcast
▶
Pocket Casts
▶
Castro
📡
RSS feed
Episodes
187
Reviews
No reviews tracked yet. Hit Refresh to fetch them.
Podder Search