T. Streicher – A Model of Type Theory in Simplicial Sets (2011) [pdf] (mathematik.tu-darmstadt.de) 1 points by anqurvanillapy 7y ago ↗ HN
0 comments
[ 3.2 ms ] story [ 12.9 ms ] threadNo comments yet.