TY  - RPRT
TI  - Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing
AU  - Taichi Uemura
PY  - 2019
DO  - 10.4230/lipics.types.2018.7
UR  - https://arxiv.org/abs/1803.06649
ID  - 1803.06649
ER  -