@inproceedings{alt-cap-dij-for:qiits,
  author = {Thorsten Altenkirch and Paolo Capriotti and Gabe Dijkstra and Nicolai Kraus and Fredrik Nordvall Forsberg},
  booktitle = {International conference on foundations of software science and computation structures},
  organization = {Springer},
  pages = {293--310},
  title = {Quotient inductive-inductive types},
  year = {2018}
}