References
Alberto Naibo
Putnam-Dummett: Quelle logique pour quel réalisme?
2016
Archives de philosophie 79/4
On the computational meaning of axioms
2016
with Petrolo Mattia, Seiller Thomas
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
Constructibility and geometry
2015
in: From logic to practice, Dordrecht : Springer