1. Positive Almost-Sure Termination: Complexity and Proof Rules;Proceedings of the ACM on Programming Languages;2024-01-05
2. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. Some independence results related to finite trees;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
4. Uncomputabilities, Games, Axioms, Proofs and Artificial Intelligence;Understanding Complex Systems;2023
5. The Π21$\Pi ^1_2$ consequences of a theory;Journal of the London Mathematical Society;2022-12-23