Back to Results
First PageMeta Content



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. Whe
Add to Reading List

Document Date: 2016-03-10 17:41:39


Open Document

File Size: 212,21 KB

Share Result on Facebook
UPDATE