Some intuitionistic remarks about transformations of sequences
Compositio Mathematica, Volume 15 (1962-1964), p. 70-87
@article{CM_1962-1964__15__70_0,
     author = {Dijkman, J. G.},
     title = {Some intuitionistic remarks about transformations of sequences},
     journal = {Compositio Mathematica},
     publisher = {Kraus Reprint},
     volume = {15},
     year = {1962-1964},
     pages = {70-87},
     zbl = {0100.24810},
     mrnumber = {140858},
     language = {en},
     url = {http://www.numdam.org/item/CM_1962-1964__15__70_0}
}
Dijkman, J. G. Some intuitionistic remarks about transformations of sequences. Compositio Mathematica, Volume 15 (1962-1964) pp. 70-87. http://www.numdam.org/item/CM_1962-1964__15__70_0/