@misc{indiciaef734e3a9ca76,
  title = {The axiom of choice, co-comprehension schema and redundancies in triposes},
  author = {Fabio Pasquali},
  year = {2016},
  url = {https://arxiv.org/abs/1602.04126},
  note = {Source identifier: 1602.04126}
}