×

Radio and PodcastLive Radio & Podcasts

Discover Radio

Radio Radio by Country Radio by Genre Radio by Language Favorite Radio Radio History

Discover Podcast

Podcasts Podcast by Country Podcast by Category Podcast by Language Podcast History Subscribed Podcasts Favorite Episodes

Helpful Links

Widget About Us Contact Editorial Policy Privacy Policy Terms of Use

Mobile App

Listen Radio and Podcast Anywhere Anytime

Download our app for smooth radio and podcast listening on Android and iOS.

▶Get it onGoogle Play

Radio and PodcastLive Radio & Podcasts

Your world of live radio, podcasts and music.

F IG X in P ▶

Radio and PodcastLive Radio & Podcasts

Search Radio and Podcast

Podcasts›The Type Theory Podcast›Episode 5: Bob Constable on CTT and Nuprl

Episode 5: Bob Constable on CTT and Nuprl artwork

Science & Medicine

Episode 5: Bob Constable on CTT and Nuprl

The Type Theory Podcast by David Raymond Christiansen

Aug 31, 201500:00:00Science & Medicine

Episode 5: Bob Constable on CTT and Nuprl

Related Episodes

Continue listening to more episodes from The Type Theory Podcast.

Episode 6: Aaron Stump on Cedille

Dec 1, 2016 - 00:00:00

Episode 4: Stephanie Weirich on Zombie and Dependent Haskell

Apr 18, 2015 - 00:00:00

In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie...

Episode 3: Dan Licata on Homotopy Type Theory

Jan 7, 2015 - 00:00:00

Episode 3: Dan Licata on Homotopy Type Theory

Episode 2: Edwin Brady on Idris

Sep 26, 2014 - 01:32:50

In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin ha...

Episode 1: Peter Dybjer on types and testing

Aug 13, 2014 - 00:00:00

We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verific...