Compact spaces and distributive lattices
Journal article, 2003
Author
Thierry Coquand
University of Gothenburg
Journal of Pure and Applied Algebra
0022-4049 (ISSN)
Vol. 184 1 1-6Subject Categories
Computer and Information Science
DOI
10.1016/S0022-4049(03)00088-4