%0 Journal Article
%A Coquand, Thierry
%A Lombardi, Henri
%A Schuster, Peter
%T The projective spectrum as a distributive lattice
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2007
%P 220-228
%V 48
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_2007__48_3_220_0/
%G en
%F CTGDC_2007__48_3_220_0