TY  - RPRT
TI  - A functional interpretation for nonstandard arithmetic
AU  - Benno van den Berg
AU  - Eyvind Briseid
AU  - Pavol Safarik
PY  - 2012
UR  - https://arxiv.org/abs/1109.3103
ID  - 1109.3103
ER  -