• Krivine's Proof of FD, Using Intersection Types

  • 2025/05/05
  • 再生時間： 22 分
  • ポッドキャスト

Krivine's Proof of FD, Using Intersection Types

無料で聴く

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

  • サマリー

  • Krivine's book (Section 4.2) has a proof of the Finite Developments Theorem, based on intersection types. I discuss this proof in this episode.
    続きを読む 一部表示

あらすじ・解説

Krivine's book (Section 4.2) has a proof of the Finite Developments Theorem, based on intersection types. I discuss this proof in this episode.
続きを読む 一部表示

Krivine's Proof of FD, Using Intersection Typesに寄せられたリスナーの声

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

Audible.co.jp

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