Aaron Stump

Iowa Type Theory Commute

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.

Listen on Apple Podcasts

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

S6 E9 • 7 mins • May 12, 2025

Recent Episodes

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

Apr 16, 2025

A Measure-Based Proof of Finite Developments

S6 E7 • 23 mins

Mar 27, 2025

Introduction to the Finite Developments Theorem

S6 E6 • 16 mins

Jan 31, 2025

Nominal Isabelle/HOL

S6 E5 • 16 mins

Language
English
Country
United States
Feed Host
Request an Update
Updates may take a few minutes.