Preface to the special issue for The Fifth Workshop on Formal Topology. (2019) - Coquand, Thierry; Maietti, Maria Emilia; Palmgren, Erik
No abstract available