Navigated to Iowa Type Theory Commute

Iowa Type Theory Commute

Aaron Stump
Fortnightly podcast.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
179 episodes  •  0 archived  •  
S7 E1·
November 14
November 14
21 mins
S6 E12·
August 22
August 22
18 mins
S6 E11·
August 19
August 19
21 mins
S6 E10·
August 1
August 1
11 mins
S6 E7·
April 16
April 16
23 mins
S6 E6·
March 27
March 27
15 mins

You might like

Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane
Adam Gordon Bell - Software Developer
Richard Feldman
Ivan Reese, Jimmy Miller, and Lu Wilson
Kris Jenkins
Conor Hoekstra
Rustacean Station

Never lose your place, on any device

Create a free account to sync, back up, and get personal recommendations.