David Christiansen – Peter Dybjer
David Christiansen is a computer scientist and an interview host. Peter Dybjer is a computer scientist. We found 1 podcast interview connecting David Christiansen and Peter Dybjer.
Feel free to follow both profiles to receive their upcoming podcast interview appearances in your personal feed.
Episodes with David Christiansen & Peter Dybjer
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.