• Turing's proof of normalization for STLC

  • 2024/05/21
  • 再生時間: 18 分
  • ポッドキャスト

Turing's proof of normalization for STLC

  • サマリー

  • In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.

    続きを読む 一部表示

あらすじ・解説

In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.

Turing's proof of normalization for STLCに寄せられたリスナーの声

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