Radio and PodcastRadio and PodcastLive Radio & Podcasts
Coercive subtyping and coherence artwork
Technology

Coercive subtyping and coherence

Iowa Type Theory Commute by Aaron Stump

Jul 1, 202620:30Technology

In this episode, I give further arguments in favor of coercive subtyping from a software-engineering perspective. I also explain the critical concept of coherence.

About This Episode

Coercive subtyping and coherence is an episode from Iowa Type Theory Commute by Aaron Stump. In this episode, I give further arguments in favor of coercive subtyping from a software-engineering perspective. I also explain the critical conce...

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 Jul 1, 2026, 20:30 long, audio available.

Related Episodes

Continue listening to more episodes from Iowa Type Theory Commute.

A little bit about word equations

Aug 3, 2026 - 17:14

The problem of word equations is a rather storied one, including frustrated connections to Hilbert's Tent...

A Strange Deal

Apr 30, 2026 - 2:57

The Curry-Howard isomorphism for the law of excluded middle, as a radio drama. I first saw a version of t...

Great paper: The Calculated Typer

Apr 20, 2026 - 23:41

I discuss a nice paper I quite enjoyed reading, called The Calculated Typer , by Garby, Bahr, and Hutton....