1. Ávila, F., G. Bezhanishvili, P. J. Morandi, and A. Zaldívar, When is the frame of nuclei spatial: A new approach. ArXiv:1906.03636v3 [math.GN] 2 Dec 2019.
2. Benton, P. N., G. M. Bierman, and V. C. V. de Paiva, Computational types from a logical perspective, Journal of Functional Programming 8:177–193, 1998.
3. Beth, E. W., Semantic construction of intuitionistic logic, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, 19:357–388, 1956.
4. Beth, E. W., The Foundations of Mathematics, Harper & Row, New York, 1964.
5. Bezhanishvili, G. and W. H. Holliday, Locales, nuclei, and Dragalin frames, in L. Beklemishev, S. Demri, and A. Máté, (eds.), Advances in Modal Logic, Vol. 11. College Publications, London, 2016. pp. 177–196.