# Iowa Type Theory Commute

## About this podcast

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

### Categories

The podcast Iowa Type Theory Commute is embedded on this page from an open RSS feed. All files, descriptions, artwork and other metadata from the RSS-feed is the property of the podcast owner and not affiliated with or validated by Podplay.

## About this podcast

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

### Categories

The podcast Iowa Type Theory Commute is embedded on this page from an open RSS feed. All files, descriptions, artwork and other metadata from the RSS-feed is the property of the podcast owner and not affiliated with or validated by Podplay.

# Iowa Type Theory Commute

## Episodes

- Season 2