The Type Theory Podcast

The Type Theory Podcast

We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.

https://typetheorypodcast.com

Science Natural Sciences
subscribe
share






claim!
report

Episode 5: Bob Constable on CTT and Nuprl

Episode 5: Bob Constable on CTT and Nuprl

fyyd: Podcast Search Engine
share








 August 31, 2015  n/a