×

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

Loading episode

Fetching episode details...

×

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 1: Peter Dybjer on types and testing

Episode 1: Peter Dybjer on types and testing artwork

Science & Medicine

Episode 1: Peter Dybjer on types and testing

The Type Theory Podcast by David Raymond Christiansen

Aug 13, 201400:00:00Science & Medicine

We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.

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 5: Bob Constable on CTT and Nuprl

Aug 31, 2015 - 00:00:00

Episode 5: Bob Constable on CTT and Nuprl

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...