@misc{indiciae500e54bbe3c9,
  title = {A Topos Foundation for Theories of Physics: I. Formal Languages for Physics},
  author = {A. Doering and C. J. Isham},
  year = {2007},
  doi = {10.1063/1.2883740},
  url = {https://arxiv.org/abs/quant-ph/0703060},
  note = {Source identifier: quant-ph/0703060}
}