Join Aaron Stump as he shares insights on type theory, computational logic, and more in Computer Science, all within the time it takes to commute.
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins • Aug 22, 2025
Charts
This show is not currently ranked in any charts.
Recent Episodes
Aug 22, 2025
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins
Aug 19, 2025
The Stunner: Linear System T is Diverging!
S6 E11 • 21 mins
Aug 1, 2025
Terminating Computation First?
S6 E10 • 11 mins
May 12, 2025
Correction: the Correct Author of the Proof from Last Episode, and an AI flop
S6 E9 • 7 mins
May 5, 2025
Krivine's Proof of FD, Using Intersection Types
S6 E8 • 22 mins
Language
English
Country
United States
Feed Host
Website
Feed
Request an Update
Updates may take a few minutes.