Quasi-Polish spaces, Annals of Pure and Applied Logic, vol.164, issue.3, pp.356-381, 2013. ,
DOI : 10.1016/j.apal.2012.11.001
Base-complexity classifications of qcb0-spaces1, Computability, vol.9, issue.2, pp.75-102, 2016. ,
DOI : 10.2168/LMCS-9(2:5)2013
Topologies on spaces of continuous functions, Topology Proceedings, pp.545-564, 2001. ,
The decidable properties of subrecursive functions, ICALP 2016:13. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.1-108, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01308224
Diagonal arguments and cartesian closed categories, pp.134-145, 1969. ,
Recursion on the Countable Functionals, Lecture Notes in Mathematics, 1980. ,
Capacities on non-Hausdorff spaces. Probability and Lattices, pp.133-150, 1997. ,
Descriptive Set Theory in the Category of Represented Spaces, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.438-449, 2015. ,
DOI : 10.1109/LICS.2015.48
Difference hierarchy in ?-spaces. Algebra and Logic, pp.238-248, 2004. ,
Some hierarchies of QCB 0-spaces, Mathematical Structures in Computer Science, vol.15, issue.08, pp.1799-1823, 2015. ,
DOI : 10.2307/2273614