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 191 episodes available.

More shows like Iowa Type Theory Commute

The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

287 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,168 Listeners

Interesting Times by New York Times Opinion

Interesting Times

7,111 Listeners

Tech Won't Save Us by Paris Marx

Tech Won't Save Us

578 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

590 Listeners

The Ezra Klein Show by New York Times Opinion

The Ezra Klein Show

15,888 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

14 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

29 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

66 Listeners