A Strange Deal
May 1, 2026 - 2:57
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsThe finite developments theorem in pure lambda calculus says that if you select as set of redexes in a lambda term and reduce only those and their residuals (redexes that can be traced back as existing in the original se...
Introduction to the Finite Developments Theorem is an episode from Iowa Type Theory Commute by Aaron Stump. The finite developments theorem in pure lambda calculus says that if you select as set of redexes in a lambda term and reduce only t...
This episode belongs to Iowa Type Theory Commute.
Use the player on this page to stream the episode online.
Published Mar 27, 2025, 15:54 long, audio available.
Continue listening to more episodes from Iowa Type Theory Commute.
May 1, 2026 - 2:57
Apr 20, 2026 - 23:41
Apr 2, 2026 - 13:31
Mar 31, 2026 - 13:48
Mar 3, 2026 - 22:29
Jan 16, 2026 - 19:24
Nov 14, 2025 - 21:42
Aug 22, 2025 - 18:49
The finite developments theorem in pure lambda calculus says that if you select as set of redexes in a lambda term and reduce only those and their residuals (redexes that can be traced back as existing in the original set), then this process will always terminate. In this episode, I discuss the theorem and why I got interested in it.
You can listen to Introduction to the Finite Developments Theorem online on Radio and Podcast. Open the player on this page to stream the available audio.
Introduction to the Finite Developments Theorem is an episode from Iowa Type Theory Commute by Aaron Stump.
This episode is 15:54 long.
This episode was published on Mar 27, 2025.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from Iowa Type Theory Commute when more episodes are available from the podcast feed.
You can listen to Introduction to the Finite Developments Theorem on this page when the episode audio is available from the podcast feed.
Introduction to the Finite Developments Theorem is from Iowa Type Theory Commute by Aaron Stump.
Published Mar 27, 2025 and 15:54 long