Episode 5: Bob Constable on CTT and Nuprl
From "The Type Theory Podcast"
Listen on your iPhone
Download our iOS app and listen to interviews anywhere. Enjoy all of the listener functions in one slick package. Why not give it a try?
Episode 5: Bob Constable on CTT and Nuprl
From "The Type Theory Podcast"
Download our iOS app and listen to interviews anywhere. Enjoy all of the listener functions in one slick package. Why not give it a try?
Comments
Add comment Feedback