Closed choice and a uniform low basis theorem, Annals of Pure and Applied Logic, vol.163, issue.8, pp.986-1008, 2012. ,
Effective choice and boundedness principles in computable analysis, Bulletin of Symbolic Logic, vol.17, issue.1, pp.73-117, 2011. ,
On the topological aspects of the theory of represented spaces, Computability, vol.5, issue.2, pp.159-180, 2016. ,
Comparing representations for function spaces in computable analysis. Theory of Computing Systems, vol.62, pp.557-582, 2018. ,
, , 2018.
Computable Analysis, 2000. ,