EPISODE · Mar 27, 2025 · 15 MIN
Introduction to the Finite Developments Theorem
from Iowa Type Theory Commute · host 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 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.
Embed this episode
Ready to play
Introduction to the Finite Developments Theorem
0:00
15:54
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of Iowa Type Theory Commute?
This episode is 15 minutes long.
When was this Iowa Type Theory Commute episode published?
This episode was published on March 27, 2025.
Can I download this Iowa Type Theory Commute episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!