Cast List: Episode 1: Peter Dybjer on types and testing

Episode: <a href="https://typetheorypodcast.com/2014/08/episode-1-peter-dybjer-on-type-theory-and-testing/" rel="nofollow">Episode 1: Peter Dybjer on types and testing
Website: The Type Theory Podcast
Feed URL: http://typetheorypodcast.com/feed/podcast/
Published: 2014-08-13 08:18

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.