Episode 1: Peter Dybjer on types and testing

https://is1-ssl.mzstatic.com/image/thumb/Podcasts125/v4/df/66/20/df6620e4-6c3a-6aee-fa46-3d505ed1bf8c/mza_2574046439858805995.png/600x600bb.jpg

The Type Theory Podcast

6 episodes

3 weeks ago

We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.

Natural Sciences

Science

RSS

All content for The Type Theory Podcast is the property of The Type Theory Podcast and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.

Natural Sciences

Science

Episode 1: Peter Dybjer on types and testing

The Type Theory Podcast

11 years ago

Episode 1: Peter Dybjer on types and testing

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