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

A Measure-Based Proof of Finite Developments

S6 E7 • 23 mins • Apr 16, 2025

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
Request an Update
Updates may take a few minutes.