Bicategories in univalent foundations

JOURNAL ARTICLE published November 2021 in Mathematical Structures in Computer Science

Authors: Benedikt Ahrens | Dan Frumin | Marco Maggesi | Niccolò Veltri | Niels van der Weide