TY  - RPRT
TI  - The Gandy-Hyland functional and a hitherto unknown computational aspect of Nonstandard Analysis
AU  - Sam Sanders
PY  - 2017
UR  - https://arxiv.org/abs/1502.03622
ID  - 1502.03622
ER  -