• Begin Chapter on Simple Type Theory

  • 2024/04/19
  • 再生時間: 16 分
  • ポッドキャスト

Begin Chapter on Simple Type Theory

  • サマリー

  • In this episode, after a pretty long hiatus, I start a new chapter on simply typed lambda calculus. I present the typing rules and give some basic examples. Subsequent episodes will discuss various interesting nuances...

    続きを読む 一部表示

あらすじ・解説

In this episode, after a pretty long hiatus, I start a new chapter on simply typed lambda calculus. I present the typing rules and give some basic examples. Subsequent episodes will discuss various interesting nuances...

Begin Chapter on Simple Type Theoryに寄せられたリスナーの声

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