Iowa Type Theory Commute

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.
187 episodes  •  0 archived  •  
S7 E9
Coercive subtyping and coherence
S7 E9·
July 1
July 1
20 mins
S7 E8
A Strange Deal, Explained
S7 E8·
May 7
May 7
8 mins
S7 E7
A Strange Deal
S7 E7·
May 1
May 1
2 mins
S7 E6
Great paper: The Calculated Typer
S7 E6·
April 20
April 20
23 mins
S7 E3
What are commuting conversions in proof theory?
S7 E3·
March 3
March 3
22 mins
S7 E2
What is Control Flow Analysis for Lambda Calculus?
S7 E2·
January 16
January 16
19 mins
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