Iowa Type Theory Commute

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Follow this podcast

Copy the RSS feed and paste it into your podcast app

Find us on social media