@misc{indiciae720f84754cd8,
  title = {Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type},
  author = {Thorsten Altenkirch and Nils Anders Danielsson and Nicolai Kraus},
  year = {2017},
  doi = {10.1007/978-3-662-54458-7\_31},
  url = {https://arxiv.org/abs/1610.09254},
  note = {Source identifier: 1610.09254}
}