Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels Bicategories in univalent foundations. (English) Zbl 1514.18019 Math. Struct. Comput. Sci. 31, No. 10, 1232-1269 (2021). MSC: 18N10 03B38 18N45 68V20 PDFBibTeX XMLCite \textit{B. Ahrens} et al., Math. Struct. Comput. Sci. 31, No. 10, 1232--1269 (2021; Zbl 1514.18019) Full Text: DOI
Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; van der Weide, Niels Bicategories in univalent foundations. (English) Zbl 1528.18019 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 5, 17 p. (2019). MSC: 18N10 03B38 18N45 68V20 PDFBibTeX XMLCite \textit{B. Ahrens} et al., LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 5, 17 p. (2019; Zbl 1528.18019) Full Text: DOI arXiv