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