@article{sterling-2022-a, title={A Cubical Language for Bishop Sets}, volume={Volume 18, Issue 1}, ISSN={1860-5974}, url={http://dx.doi.org/10.46298/lmcs-18(1:43)2022}, DOI={10.46298/lmcs-18(1:43)2022}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Sterling, Jonathan and Angiuli, Carlo and Gratzer, Daniel}, year={2022}, month=Mar }