with Naibo, A. , Petrolo, M. , 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.