Navigated to Iowa Type Theory Commute
Get the app

Log in

Iowa Type Theory Commute

TechScience
Aaron Stump
cs.uiowa.edu/~astump
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
Measure Functions and Termination of STLC
S7 E1·
November 14
November 14
21 mins
S6 E12
Schematic Affine Recursion, Oh My!
S6 E12·
August 22
August 22
18 mins
S6 E11
The Stunner: Linear System T is Diverging!
S6 E11·
August 19
August 19
21 mins
S6 E10
Terminating Computation First?
S6 E10·
August 1
August 1
11 mins
S6 E7
A Measure-Based Proof of Finite Developments
S6 E7·
April 16
April 16
23 mins
S6 E6
Introduction to the Finite Developments Theorem
S6 E6·
March 27
March 27
15 mins

You might like

ADSP: Algorithms + Data Structures = Programs
Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane
CoRecursive: Coding Stories
Adam Gordon Bell - Software Developer
Software Unscripted
Richard Feldman
Feeling of Computing
Ivan Reese, Jimmy Miller, and Lu Wilson
Developer Voices
Kris Jenkins
Tacit Talk
Conor Hoekstra
Rustacean Station
Rustacean Station

Never lose your place, on any device

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

Create account