Pointfree topology and constructive mathematics      (Chapter of Book)

<Overall Information> Book Title: Lecture Notes of the School on Topology, Algebra, and Categories in Logic (TACL 2022) Organizers: Maria Manuel Clementino, Mai Gehrke, Jorge Picado Collection: Coimbra Mathematical Texts Volume: 6 Pages: 1-52