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