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.
A Measure-Based Proof of Finite Developments
S6 E7 • 23 mins • Apr 16, 2025
Charts
- 181NEW
- 188Decreased by 19
- 108NEW
- 50NEW
- 118Decreased by 16
Recent Episodes

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

Jan 3, 2025
The Locally Nameless Representation
S6 E4 • 20 mins

Dec 23, 2024
POPLmark Reloaded, Part 1
S6 E2 • 15 mins

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