1. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic;Lecture Notes in Computer Science;2023
2. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
3. The undecidability of proof search when equality is a logical connective;Annals of Mathematics and Artificial Intelligence;2021-07-03
4. Property-Based Testing via Proof Reconstruction;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. The Explosion Calculus;Studia Logica;2019-04-12