Back to Results
First PageMeta Content

UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol
Add to Reading List

Document Date: 2018-03-28 14:04:14

Open Document

File Size: 282,03 KB

Share Result on Facebook