1. Nonflatness and totality;Mathematical Structures in Computer Science;2018-04-16
2. On the Computability of the Fan Functional;Outstanding Contributions to Logic;2017
3. Gödel's functional interpretation and the concept of learning;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
4. Some hierarchies of QCB0-spaces;Mathematical Structures in Computer Science;2014-11-10
5. Hyperprojective Hierarchy of qcb0-Spaces;Language, Life, Limits;2014