Douglas S. Bridges, Hajime Ishihara. A Definitive Constructive Open Mapping Theorem?. Math. Log. Q., 44:545-552, 1998.
@article{BridgesI98,
title = {A Definitive Constructive Open Mapping Theorem?},
author = {Douglas S. Bridges and Hajime Ishihara},
year = {1998},
tags = {source-to-source, open-source},
researchr = {https://researchr.org/publication/BridgesI98},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {44},
pages = {545-552},
}