with Vandoulakis, I. M. , 2014, 'Proofs as spatio-temporal processes', Philosophia Scientiae 18 (3), 111-125.