@article{ahrens-2021-bicategories, title={Bicategories in univalent foundations}, volume={31}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129522000032}, DOI={10.1017/s0960129522000032}, number={10}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Ahrens, Benedikt and Frumin, Dan and Maggesi, Marco and Veltri, Niccolò and van der Weide, Niels}, year={2021}, month=Nov, pages={1232–1269} }