• More on basics of simple types

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

More on basics of simple types

無料で聴く

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

  • サマリー

  • I review the typing rules and some basic examples for STLC. I also remind listeners of the Curry-Howard isomorphism for STLC.

    続きを読む 一部表示
activate_samplebutton_t1

あらすじ・解説

I review the typing rules and some basic examples for STLC. I also remind listeners of the Curry-Howard isomorphism for STLC.

数学 科学
続きを読む 一部表示

More on basics of simple typesに寄せられたリスナーの声

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

Audible.co.jp

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