@misc{indiciae5864dd321ac3,
  title = {A predicative variant of Hyland's Effective Topos},
  author = {Maria Emilia Maietti and Samuele Maschio},
  year = {2018},
  url = {https://arxiv.org/abs/1806.08519},
  note = {Source identifier: 1806.08519}
}