Jorge Picado

• Frames and Locales
• Separation in Point-Free Topology