TY  - RPRT
TI  - A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
AU  - A. Doering
AU  - C. J. Isham
PY  - 2007
DO  - 10.1063/1.2883740
UR  - https://arxiv.org/abs/quant-ph/0703060
ID  - quant-ph/0703060
ER  -