Episode 1: Peter Dybjer on types and testingAugust 13, 2014ScienceWe speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
