![](https://www.pdfsearch.io/img/693e791dcf2e5bcc7779da1697e939bd.jpg) Date: 2015-06-20 18:26:54
| | 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
|