@inproceedings{hainry:hal-02881308, 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-02881308}, BOOKTITLE = {{LICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science}}, ADDRESS = {Saarbr{\"u}cken, Germany}, PUBLISHER = {{ACM}}, PAGES = {535-549}, YEAR = {2020}, MONTH = Jul, DOI = {10.1145/3373718.3394768}, KEYWORDS = {Feasible functionals ; BFF ; implicit computational complexity ; tiering ; type-2 ; type system}, PDF = {https://inria.hal.science/hal-02881308/file/bff-lics.pdf}, HAL_ID = {hal-02881308}, HAL_VERSION = {v1}, }