1. A parametrised functional interpretation of Heyting arithmetic;Annals of Pure and Applied Logic;2021-04
2. Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs;Mathesis Universalis, Computability and Proof;2019
3. Nonstandard Functional Interpretations and Categorical Models;Notre Dame Journal of Formal Logic;2017-01-01
4. A functional functional interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. On bounded functional interpretations;Annals of Pure and Applied Logic;2012-08