Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
There are 169 episodes avaiable of Iowa Type Theory Commute.
We have categorized Iowa Type Theory Commute as:
Iowa Type Theory Commute is available, among others places, on:
The first episode of Iowa Type Theory Commute that we have available was released 21 November 2019.
Iowa Type Theory Commute is produced and created by Aaron Stump.
