@article{cap-kra:univalent-categories,
  author = {Paolo Capriotti and Nicolai Kraus},
  journal = {Proceedings of the ACM on programming languages},
  number = {POPL},
  pages = {44},
  publisher = {ACM},
  title = {Univalent higher categories via complete semi-{S}egal types},
  url = {https://arxiv.org/abs/1707.03693},
  volume = {2},
  year = {2017}
}