ahrens-2021-bicategories:
  type: article
  title: Bicategories in univalent foundations
  author:
  - Ahrens, Benedikt
  - Frumin, Dan
  - Maggesi, Marco
  - Veltri, Niccolò
  - name: Weide
    given-name: Niels
    prefix: van der
  date: 2021-11
  page-range: 1232-1269
  url: http://dx.doi.org/10.1017/s0960129522000032
  serial-number:
    doi: 10.1017/s0960129522000032
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    issue: 10
    volume: 31