TY  - RPRT
TI  - Higher-order Cons-free Interpreters
AU  - Cynthia Kop
AU  - Jakob Grue Simonsen
PY  - 2017
UR  - https://arxiv.org/abs/1711.03407
ID  - 1711.03407
ER  -