Iowa Type Theory Commute
160 episodes
TechnologyIowa Type Theory Commute
160 episodes
TechnologyAbout Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Episodes
2022
The podcast Iowa Type Theory Commute is embedded on this page from an open RSS feed. All files, descriptions, artwork and other metadata from the RSS-feed is the property of the podcast owner and not affiliated with or validated by Podplay.