TY  - RPRT
TI  - Theory of higher order interpretations and application to Basic Feasible Functions
AU  - Emmanuel Hainry
AU  - Romain Péchoux
PY  - 2020
DO  - 10.23638/lmcs-16(4:14)2020
UR  - https://arxiv.org/abs/1801.08350
ID  - 1801.08350
ER  -