@misc{indiciaeb7d851583564,
  title = {Higher Groups in Homotopy Type Theory},
  author = {Ulrik Buchholtz and Floris van Doorn and Egbert Rijke},
  year = {2018},
  url = {https://arxiv.org/abs/1802.04315},
  note = {Source identifier: 1802.04315}
}