@misc{indiciaef0bff3afef8c,
  title = {Categorical semantics of metric spaces and continuous logic},
  author = {Simon Cho},
  year = {2019},
  doi = {10.1017/jsl.2020.44},
  url = {https://arxiv.org/abs/1901.09077},
  note = {Source identifier: 1901.09077}
}