『Iowa Type Theory Commute』のカバーアート

Iowa Type Theory Commute

Iowa Type Theory Commute

著者： Aaron Stump
無料で聴く

このコンテンツについて

 Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.© 2025 Iowa Type Theory Commute 数学 科学
エピソード
  • Correction: the Correct Author of the Proof from Last Episode, and an AI flop

    Correction: the Correct Author of the Proof from Last Episode, and an AI flop
    2025/05/12

    I correct what I said in the last episode about the author of the proof of FD from last episode based on intersection types. I also describe AI flopping when I ask it a question about this.
    続きを読む 一部表示
    7 分
  • Krivine's Proof of FD, Using Intersection Types

    Krivine's Proof of FD, Using Intersection Types
    2025/05/05

    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.
    続きを読む 一部表示
    22 分
  • A Measure-Based Proof of Finite Developments

    A Measure-Based Proof of Finite Developments
    2025/04/16

    I discuss the paper "A Direct Proof of the Finite Developments Theorem", by Roel de Vrijer. See also the write-up at my blog.
    続きを読む 一部表示
    23 分

Iowa Type Theory Commuteに寄せられたリスナーの声

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

Audible.co.jp

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