TY - RPRT TI - Toposes, quantales and C* algebras in the atomic case AU - Simon Henry PY - 2013 UR - https://arxiv.org/abs/1311.3451 ID - 1311.3451 ER -