1 paper
Thierry Coquand, Henri Lombardi
Nous rappelons des versions constructives de la théorie de la dimension de Krull dans les anneaux commutatifs et dans les treillis distributifs, dont les bases ont été posées par J…