@misc{indiciae190ffae4d62b,
  title = {A minimalist two-level foundation for constructive mathematics},
  author = {Maria Emilia Maietti},
  year = {2024},
  doi = {10.1016/j.apal.2009.01.006},
  url = {https://arxiv.org/abs/0811.2774},
  note = {Source identifier: 0811.2774}
}