TY - RPRT TI - Higher Descent Data as a Homotopy Limit AU - Matan Prasma PY - 2015 UR - https://arxiv.org/abs/1112.3072 ID - 1112.3072 ER -