@misc{indiciae4a9a12b71b38,
  title = {Notions of Anonymous Existence in Martin-Löf Type Theory},
  author = {Nicolai Kraus and Martín Escardó and Thierry Coquand and Thorsten Altenkirch},
  year = {2017},
  doi = {10.23638/lmcs-13(1:15)2017},
  url = {https://arxiv.org/abs/1610.03346},
  note = {Source identifier: 1610.03346}
}