, 2014, The proof is in the process: a preamble for a philosophy of computer-assisted mathematics, in D. Dieks, S. Hartmann, T. Uebel, M. Weber & M. C. Galavotti (eds.), New directions in the philosophy of science, Dordrecht, Springer, pp. 15-33.
with Primiero, G. , 2014, 'Facing computing as technique: towards a history and philosophy of computing', Philosophy & Technology 27 (3), 321-326.
with Primiero, G. (eds) , 2014a, Philosophy & Technology 27 (3).