Iowa Type Theory Commute


Manage series 2823367
By Aaron Stump. Discovered by Player FM and our community — copyright is owned by the publisher, not Player FM, and audio is streamed directly from their servers. Hit the Subscribe button to track updates in Player FM, or paste the feed URL into other podcast apps.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

139 episodes