Iowa Type Theory Commute

Iowa Type Theory Commute

By Aaron Stump

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

  • 5
  • 5
  • 5
  • 5
  • 5

5

19 ratings


Download on the App Store

Iowa Type Theory Commute episodes:

FAQs about Iowa Type Theory Commute:

How many episodes does Iowa Type Theory Commute have?

The podcast currently has 178 episodes available.

More shows like Iowa Type Theory Commute

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

488 Listeners

Type Theory Forall by Pedro Abreu

Type Theory Forall

13 Listeners