×

Home Top Podcaster Networks By Language By Country By Category About Us Contact Us Faqs Features News & Blogs Privacy Policy Terms Of Use

☰

Search

The Type Theory Podcast
A podcast about type theory

Episode 1: Peter Dybjer on types and tes

We speak with Peter Dybjer about the relation...

gif

: 13-Aug-2014

Episode 2: Edwin Brady on Idris

In our second episode, we speak with Edwin Br...

gif

: 1 hour 32 minutes : 26-Sep-2014

Episode 3: Dan Licata on Homotopy Type T

Episode 3: Dan Licata on Homotopy Type Theory...

gif

: 07-Jan-2015

Episode 4: Stephanie Weirich on Zombie a

In our fourth episode, we speak with Stephani...

gif

: 18-Apr-2015

Episode 5: Bob Constable on CTT and Nupr

Episode 5: Bob Constable on CTT and Nuprl...

gif

: 31-Aug-2015

Episode 6: Aaron Stump on Cedille

Episode 6: Aaron Stump on Cedille...

gif

: 01-Dec-2016