Introduction to the Finite Developments Theorem
Update: 2025-03-27
Description
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.
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
