Technology

What are commuting conversions in proof theory?

Mar 3, 202622:29Technology

Commuting conversions are transformations on proofs in natural deduction, that move certain stuck inferences out of the way, so that the normal detour reductions (which correspond to beta-reduction under Curry-Howard) ar...

About This Episode

What are commuting conversions in proof theory? is an episode from Iowa Type Theory Commute by Aaron Stump. Commuting conversions are transformations on proofs in natural deduction, that move certain stuck inferences out of the way, so that...

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 Mar 3, 2026, 22:29 long, audio available.

What are commuting conversions in proof theory?

About This Episode

Related Episodes