TY - RPRT TI - On Church's Thesis in Cubical Assemblies AU - Andrew Swan AU - Taichi Uemura PY - 2019 UR - https://arxiv.org/abs/1905.03014 ID - 1905.03014 ER -