A Strange Deal
May 1, 2026 - 2:57
Radio and PodcastLive Radio & PodcastsTechnology
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.
About This Episode
Turing's proof of normalization for STLC is an episode from Iowa Type Theory Commute by Aaron Stump. 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&...
Podcast
This episode belongs to Iowa Type Theory Commute.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published May 21, 2024, 17:39 long, audio available.
Related Episodes
Continue listening to more episodes from Iowa Type Theory Commute.
Great paper: The Calculated Typer
Apr 20, 2026 - 23:41
Double-negation translations and CPS conversion, part 2
Apr 2, 2026 - 13:31
Double-negation translations and CPS conversion, part 1
Mar 31, 2026 - 13:48
What are commuting conversions in proof theory?
Mar 3, 2026 - 22:29
What is Control Flow Analysis for Lambda Calculus?
Jan 16, 2026 - 19:24
Measure Functions and Termination of STLC
Nov 14, 2025 - 21:42
Schematic Affine Recursion, Oh My!
Aug 22, 2025 - 18:49
Questions About This Episode
What is Turing's proof of normalization for STLC about?
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.
Where can I listen to Turing's proof of normalization for STLC?
You can listen to Turing's proof of normalization for STLC online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is Turing's proof of normalization for STLC from?
Turing's proof of normalization for STLC is an episode from Iowa Type Theory Commute by Aaron Stump.
How long is this episode?
This episode is 17:39 long.
When was this episode published?
This episode was published on May 21, 2024.
Can I save Turing's proof of normalization for STLC for later?
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Are there related episodes from Iowa Type Theory Commute?
Yes. This page shows related episodes from Iowa Type Theory Commute when more episodes are available from the podcast feed.
Quick Answers About This Episode
Where can I listen to Turing's proof of normalization for STLC?
You can listen to Turing's proof of normalization for STLC on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
Turing's proof of normalization for STLC is from Iowa Type Theory Commute by Aaron Stump.
What are the episode details?
Published May 21, 2024 and 17:39 long