
Episode 6: Aaron Stump on Cedille
Episode 6: Aaron Stump on Cedille
Radio and PodcastLive Radio & Podcasts
A podcast about type theory
Listen to The Type Theory Podcast, a Science & Medicine podcast by David Raymond Christiansen. Stream 6 episodes in English, follow new audio stories, and play episodes online on Radio and Podcast.
Browse this show under Science & Medicine podcasts.
6 episodes are available for this podcast.
Explore Science & Medicine podcasts, United States podcasts and English podcasts.

Episode 6: Aaron Stump on Cedille

Episode 5: Bob Constable on CTT and Nuprl

In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Ste...

Episode 3: Dan Licata on Homotopy Type Theory

In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a function...

We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
You can listen to The Type Theory Podcast episodes online on Radio and Podcast. Open an episode and the site player will stream the available audio.
The Type Theory Podcast is listed as a Science & Medicine show. The show language is listed as English.
This page lists 6 episodes for The Type Theory Podcast.
You can listen to The Type Theory Podcast episodes on this page by opening an episode and using the site player.
The Type Theory Podcast is listed as a Science & Medicine show by David Raymond Christiansen.
This page lists 6 episodes for The Type Theory Podcast where feed data is available.