with Hartimo, M. , 2016, 'Syntactic reduction in Husserl's early phenomenology of arithmetic', Synthese 193 (3), 937-969.
, 2008, Some remarks on linear logic, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 280-300.
, 2006, Drug interaction ontology (dio) and the resource-sensitive logical inferences, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 616-642.
, 2002a, Ideal concepts, intuitions, and mathematical knowledge acquisitions in Husserl and Hilbert, in S. Arikawa & A. Shinohara (eds.), Progress in discovery science, Dordrecht, Springer, pp. 40-77.