R. Samuel, B. M. Buss, and . Kapron, Resource-bounded continuity and sequentiality for type-two functionals, Special issue on logic in computer science, vol.3, issue.3, pp.402-417, 2000.

H. Férée, Game semantics approach to higher-order complexity, Journal of Computer and System Sciences, vol.87, pp.1-15, 2017.

A. Kawamura and S. Cook, Complexity theory for operators in analysis, ACM Trans. Comput. Theory, vol.4, issue.2, p.24, 2012.

. Stephen-cole-kleene, Countable functionals. Constructivity in Mathematics, pp.81-100, 1959.

G. Kreisel, Interpretation of analysis by means of functionals of finite type, Constructivity in Mathematics, pp.101-128, 1959.

K. Weihrauch, Computable analysis. Texts in Theoretical Computer Science, An EATCS Series, 2000.