Function spaces in the category of locales

[1]  John R. Isbell,et al.  Function spaces and adjoints. , 1975 .

[2]  Michael P. Fourman,et al.  Sheaf models for analysis , 1979 .

[3]  G. M. Kelly,et al.  On topological quotient maps preserved by pullbacks or products , 1970, Mathematical Proceedings of the Cambridge Philosophical Society.