Compact spaces and distributive lattices

• Autores: Thierry Coquand
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 184, Nº 1, 2003, págs. 1-6
• Idioma: inglés
• DOI: 10.1016/s0022-4049(03)00088-4
• Texto completo no disponible (Saber más ...)