@inproceedings{hainry:hal-02499348, TITLE = {{Tiered complexity at higher order}}, AUTHOR = {Hainry, Emmanuel and Kapron, Bruce and Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/hal-02499348}, BOOKTITLE = {{MLA'2019 - Third Workshop on Mathematical Logic and its Applications}}, ADDRESS = {Nancy, France}, YEAR = {2019}, MONTH = Mar, HAL_ID = {hal-02499348}, HAL_VERSION = {v1}, }