, 2016, 'Putnam-Dummett: Quelle logique pour quel réalisme?', Archives de philosophie 79 (4), 693-720 .
with Petrolo, M. , Seiller, T. , 2016, On the computational meaning of axioms, in J. Redmond, O. Martins & Ă. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, pp. 141-184.
, 2015, Constructibility and geometry, in G. Lolli, M. Panza & G. Venturi (eds.), From logic to practice, Dordrecht, Springer, pp. 123-161.
with Maffezioli, P. , Negri, S. , 2013a, 'The Church–Fitch knowability paradox in the light of structural proof theory', Synthese 190 (14), 2677-2716.