with Schroeder-Heister, P. , 2016, Atomic systems in proof-theoretic semantics: two approaches, in J. Redmond, O. Martins & Ã. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, pp. 47-62.
with de Campos Sanz, W. , 2014a, 'A critical remark on the BHK interpretation of implication', Philosophia Scientiae 18 (3), 13-22.