The Type Theory Podcast

Episode 5: Bob Constable on CTT and Nuprl

Listen Later
Episode 5: Bob Constable on CTT and Nuprl
...more
View all episodesView all episodes
Download on the App Store
The Type Theory PodcastBy The Type Theory Podcast
  • 5
  • 5
  • 5
  • 5
  • 5

5

5 ratings

More shows like The Type Theory Podcast

View all
Algorithms + Data Structures = Programs by Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

Algorithms + Data Structures = Programs

33 Listeners