Skip to content
Sign in
Artwork for Iowa Type Theory Commute
TechnologyScienceMathematics

Iowa Type Theory Commute

Aaron Stump

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

Play
Open in
  • 22 episodes
  • Avg 17 min
  • English

Episodes 22

NewestOldestLongest
All20Unplayed20In progress0Played0
Counted on this page — what you have heard stays on this device, so it is not something the list can be paged by.

Nothing on this page to show

Every episode here is filtered out by what you have already heard. Try another chip, or a later page.

Showing 1–20 of 22 episodes