Great paper: The Calculated Typer
Apr 20, 2026 - 23:41
Radio and PodcastLive Radio & PodcastsTechnology
A Strange Deal
The Curry-Howard isomorphism for the law of excluded middle, as a radio drama. I first saw a version of this story performed by Phil Wadler and Frank Pfenning (wearing fake horns!) at RTA in Nara, Japan in 2005. This is...
About This Episode
A Strange Deal is an episode from Iowa Type Theory Commute by Aaron Stump. The Curry-Howard isomorphism for the law of excluded middle, as a radio drama. I first saw a version of this story performed by Phil Wadler and Frank Pfenning (weari...
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 1, 2026, 2:57 long, audio available.
Related Episodes
Continue listening to more episodes from Iowa Type Theory Commute.
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
The Stunner: Linear System T is Diverging!
Aug 19, 2025 - 21:03
Questions About This Episode
What is A Strange Deal about?
The Curry-Howard isomorphism for the law of excluded middle, as a radio drama. I first saw a version of this story performed by Phil Wadler and Frank Pfenning (wearing fake horns!) at RTA in Nara, Japan in 2005. This is my take on it. In a subsequent episode, I will explain how the story illustrates the computational interpretation of the law of excluded middle.
Where can I listen to A Strange Deal?
You can listen to A Strange Deal online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is A Strange Deal from?
A Strange Deal is an episode from Iowa Type Theory Commute by Aaron Stump.
How long is this episode?
This episode is 2:57 long.
When was this episode published?
This episode was published on May 1, 2026.
Can I save A Strange Deal 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 A Strange Deal?
You can listen to A Strange Deal on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
A Strange Deal is from Iowa Type Theory Commute by Aaron Stump.
What are the episode details?
Published May 1, 2026 and 2:57 long