A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016

First Page		Document Content
Date: 2016-07-28 14:34:55		A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016 Add to Reading List Source URL: www.math.ias.edu Download Document from Source Website File Size: 303,24 KB Share Document on Facebook