TY  - RPRT
TI  - Nonstandard functional interpretations and categorical models
AU  - Amar Hadzihasanovic
AU  - Benno van den Berg
PY  - 2014
DO  - 10.1215/00294527-3870348
UR  - https://arxiv.org/abs/1402.0784
ID  - 1402.0784
ER  -