Technology

A Strange Deal

Apr 30, 20262:57Technology

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 Apr 30, 2026, 2:57 long, audio available.

A Strange Deal

About This Episode

Related Episodes