1. Logics and admissible rules of constructive set theories;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
2. All Melodies Are Lost – Recognizability for Weak and Strong $$\alpha $$-Register Machines;Lecture Notes in Computer Science;2023
3. Symmetry for Transfinite Computability;Lecture Notes in Computer Science;2023
4. Decision Times of Infinite Computations;Notre Dame Journal of Formal Logic;2022-05-01
5. Space-bounded OTMs and REG ∞;Computability;2022-01-12