Hajime Ishihara. Sequential Continuity of Linear Mappings in Constructive Mathematics. J. UCS, 3(11):1250-1254, 1997. [doi]
@article{Ishihara97:0, title = {Sequential Continuity of Linear Mappings in Constructive Mathematics}, author = {Hajime Ishihara}, year = {1997}, url = {http://www.jucs.org/jucs_3_11/sequential_continuity_of_linear}, researchr = {https://researchr.org/publication/Ishihara97%3A0}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {3}, number = {11}, pages = {1250-1254}, }