@misc{indiciae9a3d1d45e7f9,
  title = {Theory of higher order interpretations and application to Basic Feasible Functions},
  author = {Emmanuel Hainry and Romain Péchoux},
  year = {2020},
  doi = {10.23638/lmcs-16(4:14)2020},
  url = {https://arxiv.org/abs/1801.08350},
  note = {Source identifier: 1801.08350}
}