TY  - RPRT
TI  - Axioms for Modelling Cubical Type Theory in a Topos
AU  - Ian Orton
AU  - Andrew M. Pitts
PY  - 2018
DO  - 10.23638/lmcs-14(4:23)2018
UR  - https://arxiv.org/abs/1712.04864
ID  - 1712.04864
ER  -