@misc{indiciae724f4158b159,
  title = {Finiteness and Computation in Toposes},
  author = {Edward Hermann Haeusler},
  year = {2016},
  doi = {10.4204/eptcs.204.6},
  url = {https://arxiv.org/abs/1603.00978},
  note = {Source identifier: 1603.00978}
}