TY  - RPRT
TI  - Computable functors and effective interpretability
AU  - Matthew Harrison-Trainor
AU  - Alexander Melnikov
AU  - Russell Miller
AU  - Antonio Montalbán
PY  - 2015
UR  - https://arxiv.org/abs/1506.02737
ID  - 1506.02737
ER  -