@misc{indiciae8e9b8127074d,
  title = {An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions},
  author = {Masahiro Sato},
  year = {2015},
  url = {https://arxiv.org/abs/1412.2235},
  note = {Source identifier: 1412.2235}
}