First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 212,21 KBShare Document on Facebook |