Coercive subtyping and coherence
Jul 1, 2026 - 20:30
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsThe problem of word equations is a rather storied one, including frustrated connections to Hilbert's Tenth problem. Word equations relate expressions consisting of concatenations of variables and constant symbols. An exa...
A little bit about word equations is an episode from Iowa Type Theory Commute by Aaron Stump. The problem of word equations is a rather storied one, including frustrated connections to Hilbert's Tenth problem. Word equations relate expressi...
This episode belongs to Iowa Type Theory Commute.
Use the player on this page to stream the episode online.
Published Aug 3, 2026, 17:14 long, audio available.
Continue listening to more episodes from Iowa Type Theory Commute.
Jul 1, 2026 - 20:30
May 7, 2026 - 8:23
Apr 30, 2026 - 2:57
Apr 20, 2026 - 23:41
Apr 2, 2026 - 13:31
Mar 31, 2026 - 13:48
Mar 3, 2026 - 22:29
Jan 16, 2026 - 19:24