Discover

Find new listens

The Type Theory Podcast

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

Be the first follower!

Episode 6: Aaron Stump on Cedille

Episode 6: Aaron Stump on Cedille

The Type Theory Podcast

12/1/2016

Episode 5: Bob Constable on CTT and Nuprl

Episode 5: Bob Constable on CTT and Nuprl

The Type Theory Podcast

8/31/2015

Episode 4: Stephanie Weirich on Zombie and Dependent Haskell

Episode 4: Stephanie Weirich on Zombie and Dependent Haskell

The Type Theory Podcast

4/18/2015

Episode 3: Dan Licata on Homotopy Type Theory

Episode 3: Dan Licata on Homotopy Type Theory

The Type Theory Podcast

1/7/2015

Episode 2: Edwin Brady on Idris

Episode 2: Edwin Brady on Idris

The Type Theory Podcast

9/26/2014

Episode 1: Peter Dybjer on types and testing

Episode 1: Peter Dybjer on types and testing

The Type Theory Podcast

8/13/2014