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?

What is Iowa Type Theory Commute about?

Where can you listen to Iowa Type Theory Commute?

When did Iowa Type Theory Commute start?

Who creates the podcast Iowa Type Theory Commute?