Coquand, Thierry (ed.); Maietti, Maria Emilia (ed.); Palmgren, Erik (ed.) Preface to the special issue for the fifth workshop on formal topology. (English) Zbl 1445.00023 J. Log. Anal. 11, Paper No. FT0, 2 p. (2019). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{T. Coquand} (ed.) et al., J. Log. Anal. 11, Paper No. FT0, 2 p. (2019; Zbl 1445.00023) Full Text: DOI
Coquand, Thierry (ed.); Maietti, Maria Emilia (ed.); Sambin, Giovanni (ed.); Schuster, Peter (ed.) Preface. (English) Zbl 1338.00065 Ann. Pure Appl. Logic 167, No. 9, 725 (2016). MSC: 00B25 03-06 54-06 PDFBibTeX XMLCite \textit{T. Coquand} (ed.) et al., Ann. Pure Appl. Logic 167, No. 9, 725 (2016; Zbl 1338.00065) Full Text: DOI