Episode 1: Peter Dybjer on types and testing - a podcast by The Type Theory Podcast
from 2014-08-13T06:18:02
::
::
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
Further episodes of 301 Moved Permanently
Further podcasts by The Type Theory Podcast
Website of The Type Theory Podcast