@article{Ahrens_2021,
doi = {10.1017/s0960129522000032},
url = {https://doi.org/10.1017%2Fs0960129522000032},
year = 2021,
month = {nov},
publisher = {Cambridge University Press ({CUP})},
volume = {31},
number = {10},
pages = {1232--1269},
author = {Benedikt Ahrens and Dan Frumin and Marco Maggesi and Niccol{\`{o}} Veltri and Niels van der Weide},
title = {Bicategories in univalent foundations},
journal = {Mathematical Structures in Computer Science}
}