Iowa Type Theory Commute

TechScience
Aaron Stump
cs.uiowa.edu/~astump
Fortnightly podcast. Next episode on Saturday, May 9.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
184 episodes  •  0 archived  •  
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
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