Hajime Ishihara. Sequentially Continuity in Constructive Mathematics. In Cristian S. Calude, Michael J. Dinneen, Silviu Sburlan, editors, Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania. Discrete mathematics and theoretical computer science, pages 5-12, Springer, 2001. [doi]
@inproceedings{Ishihara01-0,
title = {Sequentially Continuity in Constructive Mathematics},
author = {Hajime Ishihara},
year = {2001},
doi = {10.1007/978-1-4471-0717-0_2},
url = {https://doi.org/10.1007/978-1-4471-0717-0_2},
researchr = {https://researchr.org/publication/Ishihara01-0},
cites = {0},
citedby = {0},
pages = {5-12},
booktitle = {Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania},
editor = {Cristian S. Calude and Michael J. Dinneen and Silviu Sburlan},
series = {Discrete mathematics and theoretical computer science},
publisher = {Springer},
isbn = {978-1-85233-526-7},
}