Almost periodic functions, constructively
<|reference_start|>Almost periodic functions, constructively: The almost periodic functions form a natural example of a non-separable normed space. As such, it has been a challenge for constructive mathematicians to find a natural treatment of them. Here we present a simple proof of Bohr's fundamental theorem for almost periodic functions which we then generalize to almost periodic functions on general topological groups.<|reference_end|>
@article{spitters2005almost,
    title={Almost periodic functions, constructively},
    author={Bas Spitters},
    journal={Logical Methods in Computer Science, Volume 1, Issue 3 (December
  20, 2005) lmcs:2263},
    year={2005},
    doi={10.2168/LMCS-1(3:3)2005},
    archivePrefix={arXiv},
    eprint={cs/0512009},
    primaryClass={cs.LO}
}