ahrens_etal_2015:
  type: article
  title: Univalent categories and the Rezk completion
  author:
  - AHRENS, BENEDIKT
  - KAPULKIN, KRZYSZTOF
  - SHULMAN, MICHAEL
  date: 2015-01
  page-range: 1010-1039
  url: http://dx.doi.org/10.1017/S0960129514000486
  serial-number:
    doi: 10.1017/s0960129514000486
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    issue: 5
    volume: 25