Iowa Type Theory Commute

Iowa Type Theory Commute

TechScience
Aaron Stump
cs.uiowa.edu/~astump
Fortnightly podcast. Next episode on Sunday, March 22.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
181 episodes  •  0 archived  •  
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
S6 E8
Krivine's Proof of FD, Using Intersection Types
S6 E8·
May 5, 2025
May 5, 2025
21 mins

You might like

Func Prog Podcast
Func Prog Podcast
Christoffer Ekeroth
ADSP: Algorithms + Data Structures = Programs
ADSP: Algorithms + Data Structures = Programs
Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane
Oxide and Friends
Oxide and Friends
Oxide Computer Company
Software Unscripted
Software Unscripted
Richard Feldman
ArrayCast
ArrayCast
Conor Hoekstra & Adám Brudzewsky
Developer Voices
Developer Voices
Kris Jenkins
Two's Complement
Two's Complement
Ben Rady and Matt Godbolt