@misc{indiciae4bf2db497ea5,
  title = {On the strength of dependent products in the type theory of Martin-Löf},
  author = {Richard Garner},
  year = {2011},
  doi = {10.1016/j.apal.2008.12.003},
  url = {https://arxiv.org/abs/0803.4466},
  note = {Source identifier: 0803.4466}
}