Episode 1: Peter Dybjer on types and testing
from The Type Theory Podcast Hosted by The Type Theory Podcast
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
Embed this episode
No transcript yet.
Frequently asked questions
When was this The Type Theory Podcast episode published?
This episode was published on August 13, 2014.
Can I download this The Type Theory Podcast episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.