Publishers
Charts
Log in
Is this your podcast?
Sign up
to track ranks and reviews from Spotify, Apple Podcasts and more
The Type Theory Podcast
The Type Theory Podcast
A podcast about type theory
Listen now
Ratings & Reviews
☆
☆
☆
☆
☆
5.0 stars from 5 ratings
Recent Episodes
See all »
Episode 6: Aaron Stump on Cedille
Published 12/01/16
The Type Theory Podcast
Published 12/01/16
Episode 5: Bob Constable on CTT and Nuprl
Published 08/31/15
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.
See hourly chart positions and more than 30 days of history.
Get Chartable Analytics »
All episodes
Links
typetheorypodcast.com
RSS feed
Listen on Apple Podcasts
Twitter
Facebook
Instagram
Patreon
Genres
Science
Natural Sciences
Artwork or description wrong?
Request an update »
Updates may take a few minutes.
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.
See hourly chart positions and more than 30 days of history.
Get Chartable Analytics »