TY - RPRT TI - Pro-algebraic homotopy types AU - J. P. Pridham PY - 2008 DO - 10.1112/plms/pdn004 UR - https://arxiv.org/abs/math/0606107 ID - math/0606107 ER -