TY - RPRT TI - Cheap Non-standard Analysis and Computability AU - Olivier Bournez AU - Sabrina Ouazzani PY - 2018 UR - https://arxiv.org/abs/1804.09746 ID - 1804.09746 ER -