Episode 5: Bob Constable on CTT and Nuprl

Aug 31, 2015

Episode 5: Bob Constable on CTT and Nuprl

The Type Theory Podcast

Information

Show: The Type Theory Podcast
Published: August 31, 2015
Language: EN-US
Author: The Type Theory Podcast
Categories: science natural

Discover

Find new listens