A Strange Deal
May 1, 2026 - 2:57
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsIn this episode, I begin discussing the question and history of formalizing results in Programming Languages Theory using interactive theorem provers like Rocq (formerly Coq) and Agda.
Introduction to Formalizing Programming Languages Theory is an episode from Iowa Type Theory Commute by Aaron Stump. In this episode, I begin discussing the question and history of formalizing results in Programming Languages Theory using i...
This episode belongs to Iowa Type Theory Commute.
Use the player on this page to stream the episode online.
Published Nov 25, 2024, 12:20 long, audio available.
Continue listening to more episodes from Iowa Type Theory Commute.
May 1, 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
Nov 14, 2025 - 21:42
Aug 22, 2025 - 18:49
In this episode, I begin discussing the question and history of formalizing results in Programming Languages Theory using interactive theorem provers like Rocq (formerly Coq) and Agda.
You can listen to Introduction to Formalizing Programming Languages Theory online on Radio and Podcast. Open the player on this page to stream the available audio.
Introduction to Formalizing Programming Languages Theory is an episode from Iowa Type Theory Commute by Aaron Stump.
This episode is 12:20 long.
This episode was published on Nov 25, 2024.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from Iowa Type Theory Commute when more episodes are available from the podcast feed.
You can listen to Introduction to Formalizing Programming Languages Theory on this page when the episode audio is available from the podcast feed.
Introduction to Formalizing Programming Languages Theory is from Iowa Type Theory Commute by Aaron Stump.
Published Nov 25, 2024 and 12:20 long