Episode 6: Aaron Stump on Cedille
Episode 6: Aaron Stump on Cedille
Radio and PodcastLive Radio & PodcastsScience & Medicine
The Type Theory Podcast
A podcast about type theory
The Type Theory Podcast Podcast Guide
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.
Show Topic
Browse this show under Science & Medicine podcasts.
Episodes
6 episodes are available for this podcast.
Discover More
Explore Science & Medicine podcasts, United States podcasts and English podcasts.
Episodes
6 episodesEpisode 5: Bob Constable on CTT and Nuprl
Episode 5: Bob Constable on CTT and Nuprl
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
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
Episode 3: Dan Licata on Homotopy Type Theory
Episode 2: Edwin Brady on Idris
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...
Episode 1: Peter Dybjer on types and testing
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.