@misc{indiciae4229a4e30af7,
  title = {Quotient inductive-inductive types},
  author = {Thorsten Altenkirch and Paolo Capriotti and Gabe Dijkstra and Nicolai Kraus and Fredrik Nordvall Forsberg},
  year = {2017},
  doi = {10.1007/978-3-319-89366-2\_16},
  url = {https://arxiv.org/abs/1612.02346},
  note = {Source identifier: 1612.02346}
}