A globalisation of the Gelfand duality theorem. - Bernhard Banaschewski; Christopher J. Mulvey (Ann. Pure Appl. Log., 2006)