TY  - RPRT
TI  - A Cubical Language for Bishop Sets
AU  - Jonathan Sterling
AU  - Carlo Angiuli
AU  - Daniel Gratzer
PY  - 2022
DO  - 10.46298/lmcs-18(1:43)2022
UR  - https://arxiv.org/abs/2003.01491
ID  - 2003.01491
ER  -