Turing's Proof Of Normalization For STLC Iowa Type Theory Commute podcast

Artwork

Science Tech Math Aaron Stump Programming Language Computational Logic Type Theory Proof Assistants Cedille

Indhold leveret af Aaron Stump. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Aaron Stump eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Iowa Type Theory Commute « »
Turing's proof of normalization for STLC

7M ago 17:39

Del

MP3•Episode hjem

Indhold leveret af Aaron Stump. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Aaron Stump eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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.

… continue reading

169 episoder

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Artwork

Turing's proof of normalization for STLC

Iowa Type Theory Commute

17 subscribers

published 7M ago

Del

MP3•Episode hjem

Indhold leveret af Aaron Stump. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Aaron Stump eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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.

… continue reading

169 episoder

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

All episodes

×

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner