アイオワ・タイプ理論通勤に参加し、アーロン・スタンプがタイプ理論、計算論理、コンピュータサイエンスのさまざまなトピックについての洞察を、通勤時間内でお届けします。
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins • Aug 22, 2025
Charts
This show is not currently ranked in any charts.
最近のエピソード
Aug 22, 2025
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins
Aug 19, 2025
The Stunner: Linear System T is Diverging!
S6 E11 • 21 mins
Aug 1, 2025
Terminating Computation First?
S6 E10 • 11 mins
May 12, 2025
Correction: the Correct Author of the Proof from Last Episode, and an AI flop
S6 E9 • 7 mins
May 5, 2025
Krivine's Proof of FD, Using Intersection Types
S6 E8 • 22 mins
言語
英語
国
アメリカ合衆国
Feed Host
ウェブサイト
フィード
更新をリクエストする
更新には数分かかる場合があります。