Thierry Coquand, Maria Emilia Maietti, Erik Palmgren. Preface to the special issue for The Fifth Workshop on Formal Topology. J. Logic & Analysis, 11, 2019. [doi]
@article{CoquandMP19,
title = {Preface to the special issue for The Fifth Workshop on Formal Topology},
author = {Thierry Coquand and Maria Emilia Maietti and Erik Palmgren},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/380/148},
researchr = {https://researchr.org/publication/CoquandMP19},
cites = {0},
citedby = {0},
journal = {J. Logic & Analysis},
volume = {11},
}