3 ms·T. Streicher – A Model of Type Theory in Simplicial Sets (2011) [pdf]1 points by anqurvanillapy 8y ago