TY - RPRT TI - Constructive Gelfand duality for non-unital commutative C*-algebras AU - Simon Henry PY - 2015 UR - https://arxiv.org/abs/1412.2009 ID - 1412.2009 ER -