• Introduction to the Finite Developments Theorem

  • 2025/03/27
  • 再生時間： 16 分
  • ポッドキャスト

Introduction to the Finite Developments Theorem

無料で聴く

ポッドキャストの詳細を見る

  • サマリー

  • 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.
    続きを読む 一部表示

あらすじ・解説

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.
続きを読む 一部表示

Introduction to the Finite Developments Theoremに寄せられたリスナーの声

カスタマーレビュー：以下のタブを選択することで、他のサイトのレビューをご覧になれます。

Audible.co.jp

Amazon.co.jp
レビューはまだありません。