Resource-bounded continuity and sequentiality for type-two functionals, Special issue on logic in computer science, vol.3, issue.3, pp.402-417, 2000. ,
Game semantics approach to higher-order complexity, Journal of Computer and System Sciences, vol.87, pp.1-15, 2017. ,
Complexity theory for operators in analysis, ACM Trans. Comput. Theory, vol.4, issue.2, p.24, 2012. ,
, Countable functionals. Constructivity in Mathematics, pp.81-100, 1959.
Interpretation of analysis by means of functionals of finite type, Constructivity in Mathematics, pp.101-128, 1959. ,
Computable analysis. Texts in Theoretical Computer Science, An EATCS Series, 2000. ,