@misc{indiciae2102a8c52cb4,
  title = {Subspaces of an arithmetic universe via type theory},
  author = {Maria Emilia Maietti},
  year = {2010},
  url = {https://arxiv.org/abs/1011.3607},
  note = {Source identifier: 1011.3607}
}