@article{hainry:hal-03722168, TITLE = {{A tier-based typed programming language characterizing Feasible Functionals}}, AUTHOR = {Hainry, Emmanuel and Kapron, Bruce and Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/hal-03722168}, JOURNAL = {{Logical Methods in Computer Science}}, PUBLISHER = {{Logical Methods in Computer Science Association}}, VOLUME = {18}, NUMBER = {1}, PAGES = {31}, YEAR = {2022}, MONTH = Feb, DOI = {10.46298/LMCS-18(1:33)2022}, PDF = {https://inria.hal.science/hal-03722168/file/hkmplmcs.pdf}, HAL_ID = {hal-03722168}, HAL_VERSION = {v1}, }