Podmailer Podmailer
Iowa Type Theory Commute
Aaron Stump

Iowa Type Theory Commute

No. of episodes
192
Latest episode
2026-10-21
Technology Science Mathematics

Where can you listen?

Apple Podcasts Logo Apple Podcasts Podtail Logo Podtail RSS Logo RSS

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

Episodes

Questions & Answers

How many episodes are there of Iowa Type Theory Commute?

There are 192 episodes avaiable of Iowa Type Theory Commute.

What is Iowa Type Theory Commute about?

We have categorized Iowa Type Theory Commute as:

  • Technology
  • Science
  • Mathematics

Where can you listen to Iowa Type Theory Commute?

Iowa Type Theory Commute is available, among others places, on:

  • Apple Podcasts
  • Podtail

When did Iowa Type Theory Commute start?

The first episode of Iowa Type Theory Commute that we have available was released 21 November 2019.

Who creates the podcast Iowa Type Theory Commute?

Iowa Type Theory Commute is produced and created by Aaron Stump.