David Christiansen & Peter Dybjer , The Type Theory Podcast

Episode 1: Peter Dybjer on types and testing

13 Aug 2014 • EN

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

From "The Type Theory Podcast"

Listen on your iPhone

Download our iOS app and listen to interviews anywhere. Enjoy all of the listener functions in one slick package. Why not give it a try?

Actors Athletes Authors Biologists Business executives

Chefs Cognitive scientists Computer scientists Economists Entrepreneurs

Historians Interview hosts Journalists Media Personalities Philosophers

Physicists Psychologists Screenwriters Social Scientists Software Developers