Compact spaces and distributive lattices (0)

by Thierry Coquand
Venue:J. Pure Appl. Algebra