『Turing's proof of normalization for STLC』のカバーアート

Turing's proof of normalization for STLC

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.

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

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