@misc{indiciae1002295542c5,
  title = {Applicable Mathematics in a Minimal Computational Theory of Sets},
  author = {Arnon Avron and Liron Cohen},
  year = {2018},
  doi = {10.23638/lmcs-14(4:1)2018},
  url = {https://arxiv.org/abs/1801.02387},
  note = {Source identifier: 1801.02387}
}