The projective spectrum as a distributive lattice Thierry Coquand; Henri Lombardi; Peter Schuster — 2007 Cahiers de Topologie et Géométrie Différentielle Catégoriques