TY  - RPRT
TI  - Topos quantum theory with short posets
AU  - John Harding
AU  - Chris Heunen
PY  - 2019
DO  - 10.1007/s11083-020-09531-6
UR  - https://arxiv.org/abs/1903.01897
ID  - 1903.01897
ER  -