Iowa Type Theory Commute
by Aaron Stump
Technology
This show hasn't been PodSignal-scored yet. Explore scored shows →
About
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Explore More Podcasts
HiddenPod surfaces quality independent podcasts, scored across 6 dimensions.