T. Streicher – A Model of Type Theory in Simplicial Sets (2011) [pdf]mathematik.tu-darmstadt.de1 point·anqurvanillapy··0 commentsOpen articleSaveView on HN