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

More information

Created

10/10/2017