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·
Nov 14, 2025
Nov 14, 2025
21 mins
S6 E12
Schematic Affine Recursion, Oh My!
S6 E12·
Aug 22, 2025
Aug 22, 2025
18 mins
S6 E11
The Stunner: Linear System T is Diverging!
S6 E11·
Aug 19, 2025
Aug 19, 2025
21 mins
S6 E10
Terminating Computation First?
S6 E10·
Aug 1, 2025
Aug 1, 2025
11 mins
S6 E8
Krivine's Proof of FD, Using Intersection Types
S6 E8·
May 5, 2025
May 5, 2025
21 mins
S6 E7
A Measure-Based Proof of Finite Developments
S6 E7·
Apr 16, 2025
Apr 16, 2025
23 mins
S6 E6
Introduction to the Finite Developments Theorem
S6 E6·
Mar 27, 2025
Mar 27, 2025
15 mins

You might like

ADSP: Algorithms + Data Structures = Programs
Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane
Oxide and Friends
Oxide Computer Company
CoRecursive: Coding Stories
Adam Gordon Bell - Software Developer
Software Unscripted
Richard Feldman
The Array Cast
The Array Cast
Developer Voices
Kris Jenkins
Two's Complement
Ben Rady and Matt Godbolt

Never lose your place, on any device

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

Create account