Thierry Coquand, Henri Lombardi, Peter Schuster. Spectral schemes as ringed lattices. Annals of Mathematics and Artificial Intelligence, 56(3-4):339-360, 2009. [doi]
@article{CoquandLS09,
title = {Spectral schemes as ringed lattices},
author = {Thierry Coquand and Henri Lombardi and Peter Schuster},
year = {2009},
doi = {10.1007/s10472-009-9160-7},
url = {http://dx.doi.org/10.1007/s10472-009-9160-7},
researchr = {https://researchr.org/publication/CoquandLS09},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {56},
number = {3-4},
pages = {339-360},
}