TY  - RPRT
TI  - Nakayama's reduction of quantum topos and Bayesian quantum computing
AU  - Atsuhide Mori
PY  - 2026
UR  - https://arxiv.org/abs/2609.34200
ID  - 2609.34200
ER  -