Artwork

Iowa Type Theory Commute

14 subscribers

updated

iconShare
 
Manage series 2823367
Content provided by Aaron Stump. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Aaron Stump or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
  continue reading

178 episodes