American Podcasts American Podcasts
Iowa Type Theory Commute

Iowa Type Theory Commute

Aaron Stump

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

Where can you listen?

Apple Podcasts Logo Podtail Logo Google Podcasts Logo RSS

Episodes

Questions & Answers

How many episodes are there of Iowa Type Theory Commute?

There are 161 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
  • Google Podcasts

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.