Sequentially Continuous Linear Mappings in Constructive Analysis

Douglas S. Bridges, Ray Mines. Sequentially Continuous Linear Mappings in Constructive Analysis. Journal of Symbolic Logic, 63(2):579-583, 1998.

@article{BridgesM98,
  title = {Sequentially Continuous Linear Mappings in Constructive Analysis},
  author = {Douglas S. Bridges and Ray Mines},
  year = {1998},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BridgesM98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {63},
  number = {2},
  pages = {579-583},
}