Episode 5: Bob Constable on CTT and Nuprl - a podcast by The Type Theory Podcast

from 2015-08-31T14:32:12

:: ::

Episode 5: Bob Constable on CTT and Nuprl

Further episodes of 301 Moved Permanently

Further podcasts by The Type Theory Podcast

Website of The Type Theory Podcast