
Sign up to save your podcasts
Or
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.
5
1717 ratings
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.
272 Listeners
90,830 Listeners
30,823 Listeners
108 Listeners
4,136 Listeners
33 Listeners
15,220 Listeners
34 Listeners
11 Listeners
10,493 Listeners
3,271 Listeners
47 Listeners
28 Listeners