TY  - RPRT
TI  - Complexity Hierarchies and Higher-order Cons-free Term Rewriting
AU  - Cynthia Kop
AU  - Jakob Grue Simonsen
PY  - 2017
DO  - 10.23638/lmcs-13(3:8)2017
UR  - https://arxiv.org/abs/1611.10334
ID  - 1611.10334
ER  -