Episode 5: Bob Constable on CTT and Nuprl The Type Theory Podcast

    • Natural Sciences

Episode 5: Bob Constable on CTT and Nuprl

  • © 2024 The Type Theory Podcast

Episode 5: Bob Constable on CTT and Nuprl

  • © 2024 The Type Theory Podcast