About Stone Notion of Spectrum
Journal article, 2005
Author
Thierry Coquand
University of Gothenburg
Journal of Pure and Applied Algebra
Vol. 197 1-3 141-158
Subject Categories
Computer Science
DOI
10.1016/j.jpaa.2004.08.024