![](https://www.pdfsearch.io/img/0eb1b16e6bf5385fd9c71427059425d1.jpg) Date: 2016-03-10 17:41:39
| | Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. WheAdd to Reading ListSource URL: hott-uf.gforge.inria.frDownload Document from Source Website File Size: 212,21 KBShare Document on Facebook
|