![](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
![](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
Episode 5: Bob Constable on CTT and Nuprl The Type Theory Podcast
-
- Scienze naturali
Episode 5: Bob Constable on CTT and Nuprl
Episode 5: Bob Constable on CTT and Nuprl
Episode 5: Bob Constable on CTT and Nuprl
Episode 5: Bob Constable on CTT and Nuprl