Search

Home > The Type Theory Podcast > Episode 1: Peter Dybjer on types and testing
Podcast: The Type Theory Podcast
Episode:

Episode 1: Peter Dybjer on types and testing
Category: Science & Medicine
Duration: 00:00:00
Publish Date: 2014-08-13 01:18:02
Description: We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
Total Play: 0