3 ms·
Categories of cubicle sets/Cubical Type Theory http://dlicata.web.wesleyan.edu/pubs.html http://dlicata.web.wesleyan.edu/pubs.html
by hackermailman 10y ago
Categories of cubicle sets/Cubical Type Theory http://dlicata.web.wesleyan.edu/pubs.html http://dlicata.web.wesleyan.edu/pubs.html