The Type Theory Podcast
By The Type Theory Podcast
Listen to a podcast, please open Podcast Republic app. Available on Google Play Store and Apple App Store.
Image by The Type Theory Podcast
Category: Natural Sciences
Open in Apple Podcasts
Open RSS feed
Open Website
Rate for this podcast
Subscribers: 14
Reviews: 0
Episodes: 6
Description
A podcast about type theory
| Episode | Date |
|---|---|
|
Episode 6: Aaron Stump on Cedille
|
Dec 01, 2016 |
|
Episode 5: Bob Constable on CTT and Nuprl
|
Aug 31, 2015 |
|
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
|
Apr 18, 2015 |
|
Episode 3: Dan Licata on Homotopy Type Theory
|
Jan 07, 2015 |
|
Episode 2: Edwin Brady on Idris
|
Sep 26, 2014 |
|
Episode 1: Peter Dybjer on types and testing
|
Aug 13, 2014 |